You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ ctest --verbose -R modelgen20
UpdateCTestConfiguration from :/usr/ports/math/boolector/work/.build/DartConfiguration.tcl
UpdateCTestConfiguration from :/usr/ports/math/boolector/work/.build/DartConfiguration.tcl
Test project /usr/ports/math/boolector/work/.build
Constructing a list of tests
Done constructing a list of tests
Updating test list for fixtures
Added 0 tests to meet fixture requirements
Checking test dependency graph...
Checking test dependency graph end
test 281
Start 281: modelgen20
281: Test command: /usr/ports/math/boolector/work/.build/bin/test "-q" "-e" "modelgen20"
281: Test timeout computed to be: 10000000
281: File "/usr/ports/math/boolector/work/boolector-3.0.0-239-g0b4b8540/contrib/btorcheckmodel.py", line 11
281: print "Usage: ./btorcheckmodel <btor-file> <btor-output-model-file> <boolector-binary>"
281: ^
281: SyntaxError: Missing parentheses in call to 'print'. Did you mean print("Usage: ./btorcheckmodel <btor-file> <btor-output-model-file> <boolector-binary>")?
281: Assertion failed: (ret_val == 0), function modelgen_test, file /usr/ports/math/boolector/work/boolector-3.0.0-239-g0b4b8540/test/testmodelgen.c, line 92.
1/1 Test #281: modelgen20 .......................Child aborted***Exception: 0.12 sec
0% tests passed, 1 tests failed out of 1
Total Test time (real) = 0.22 sec
The following tests FAILED:
281 - modelgen20 (Child aborted)
Errors while running CTest
The text was updated successfully, but these errors were encountered:
Example of the individual failure log:
The text was updated successfully, but these errors were encountered: