Closed FreeYourSoul closed 1 year ago
The sat solver produce a wrong result (sometimes).
Apparently when running the whole test suite (and not only the single failed test)
Un-initialized variable on attempt_flags
attempt_flags
The sat solver produce a wrong result (sometimes).
Apparently when running the whole test suite (and not only the single failed test)