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
jc / why3 (master) $ why3 prove -P Alt-Ergo,2.3.0 /tmp/test.cnf anomaly: Not_found
@bbecker Could you be kind enough to have a look at it?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information