search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

Core crashes during simproc #151

Closed rossduncan closed 6 years ago

rossduncan commented 7 years ago

Got a reproducible crash in the core. Load the attached graph. Run the rotate_targeted.ML simproc from the example zx-project. After a few seconds of rewriting the following appears in the console: [info] ERROR: Unexpected result from core: Success(Error(2,Unexpected exception))

after.qgraph.zip

rossduncan commented 7 years ago

Same graph causes no problems with plain old rotate_simp.