Bug report: matching throws exception
1 view
Skip to first unread message
Ross Duncan
Sep 22, 2016, 6:41:47 AM9/22/16
to quant...@googlegroups.com
Dear team quanto:
Matching falls over when using bang boxes. Lots of "[info] Exception trace for exception - no_such_vertex_exp raised in :serial=21file=graph/bang_graph.ML line 314” in console.
To reproduce:
1. start with a fresh copy of zx-project-1.1 downloaded from the website
2. open the attached graph.
3. start new derivation
4. Add all axioms to the rewrite list.
Nothing will match and exceptions will be thrown.
-r
Matching falls over when using bang boxes. Lots of "[info] Exception trace for exception - no_such_vertex_exp raised in :serial=21file=graph/bang_graph.ML line 314” in console.
To reproduce:
1. start with a fresh copy of zx-project-1.1 downloaded from the website
2. open the attached graph.
3. start new derivation
4. Add all axioms to the rewrite list.
Nothing will match and exceptions will be thrown.
-r
Reply all
Reply to author
Forward
0 new messages