make check errors observed on OpenBSD
Marc Espie ran make check
on OpenBSD an saw the following:
-
Many notebook-based tests fails because of difference in GraphViz output. (I've asked for the GraphViz version.) -
Two tests ( core/bricks.test
andcore/prodchain.test
) fail because they useseq
, which is not available by default. We could get rid of this dependency. -
python/alternating.test
fails withTraceback (most recent call last): File "/vide/build/usr/ports/pobj/spot-2.10.4/spot-2.10.4/tests/python/alternating.py", line 209, in <module> assert(desalt.to_str('hoa') == out) AssertionError FAIL python/alternating.py (exit status: 1)
No clue why.
-
We should really replace assert()
by something that helps us by printing differences. -
core/autcross4.test
fails with+ cat err Terminated Running [A0]: sleep 10; autfilt 'lcr-i0-Qw4ent'>'lcr-o0-CCGWjX' error: timeout during execution of command input automaton was in:1.1-9.7 yes + wc -l + < err + test 4 = 5 FAIL core/autcross4.test (exit status: 1)
The error is caused by the extra
Terminated
message, probably output by the shell when it receive SIGTERM.