why3 prove raises Not_found when called on a DIMACS file
When called a a DIMACS file (such as the one attached), why3 prove
raises a Not_found
exception:
jc / why3 (master) $ why3 prove -P Alt-Ergo,2.3.0 /tmp/test.cnf
anomaly: Not_found
The problem comes from line 303 in file src/tools/why3prove.ml
and a call to restore_module
, from commit c578cb62 by @bbecker
@bbecker Could you be kind enough to have a look at it?