search

meelgroup / bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Other
65 stars 18 forks source link

Missing end-to-end tests #45

Open msoos opened 1 year ago

msoos commented 1 year ago

There are no end-to-end tests for ANF parsing, CNF writing, etc. So there may be some bugs in some of these parsers and CNF/ANF writers, and we may introduce new ones, but we will not be alerted to them.