Echtzeitsysteme / Echtzeitsysteme/gips-tests
Non-deterministic test failures for `OR`/`XOR` tests
Open
bug
- Dominant language
- Java
- Stars
- 1
- Forks
- 2
- Avg merge
- 2d 14h
- Merged PRs (30d)
- 3
Description
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.)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.