Our debug-mode does not track all formulas generated by using AllSAT properly and throws despite valide usage. Example in CPAchecker with the following command line: `--predicateAnalysis doc/examples/example.c --option solver.useDebugMode=true`
Our debug-mode does not track all formulas generated by using AllSAT properly and throws despite valide usage.
Example in CPAchecker with the following command line:
--predicateAnalysis doc/examples/example.c --option solver.useDebugMode=true