projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee40045) | patch
run-regress script: Exit with exit code > 0 on failure. (#2336)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 18 Aug 2018 07:03:47 +0000 (00:03 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Sat, 18 Aug 2018 07:03:47 +0000 (00:03 -0700)
commitb7dfffd3fe57ab8bf2b6f8aed35f8c3bb459a117
treefac5df4b9eb9e48f977db7fd6ecaaabfafd0af56tree
parentee4004505fa7f086872880d2d693c0608af29050commit | diff
run-regress script: Exit with exit code > 0 on failure. (#2336)

This is in preparation for migration to cmake since ctest determines failure via exit code.
test/regress/run_regression.py diff | blob | history