Non-deterministic test failures for `OR`/`XOR` tests
Opened this issue · 0 comments
maxkratz commented
Sometimes, one of the many OR/XOR tests fails in a non-deterministic way. Re-running the tests let them pass.
(IIRC, the configured solver is irrelevant for this issue.)