projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0858188) | patch
run_regression: Distinguish between timeout and failure. (#3750)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 12 Feb 2020 07:33:21 +0000 (23:33 -0800)
committerGitHub <noreply@github.com>
Wed, 12 Feb 2020 07:33:21 +0000 (23:33 -0800)
commit982282eed2b02c1ca4aec2a335e460e622c4e963
treecb9dcaea89ae5e2e63e00597a05918f5d9b57791tree
parent0858188716609ae8a45e542bc4e054e675f2676dcommit | diff
run_regression: Distinguish between timeout and failure. (#3750)

If --use-skip-return-code is enabled and a regression test times out it
will return EXIT_SKIP instead of EXIT_FAILURE.
test/regress/run_regression.py diff | blob | history