Some tests fail when run in parallel
Closed this issue · 3 comments
uulm-janbaudisch commented
Some tests write/read to/from files and interfere with each other.
We should remove any filesystem I/O from tests.
uulm-janbaudisch commented
Does not seem to be the case any more.
uulm-janbaudisch commented
The issue seems to still exists. Some test errors with the following when running in parallel:
ERROR: The following error code occured while trying to open the file ".intermediate.nnf":
No such file or directory (os error 2)
Aborting...
uulm-janbaudisch commented
Blocked by #36