projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6118996) | patch
Increase regression test time limit to 1200s. (#3704)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 4 Feb 2020 00:42:31 +0000 (16:42 -0800)
committerGitHub <noreply@github.com>
Tue, 4 Feb 2020 00:42:31 +0000 (16:42 -0800)
commitb2fad75b845de71d030705b3c3672009f1e4c2a4
tree8b1c2f83cb243fe1aa45226c0b3d5675fb790d1atree
parent6118996ec32a66fb8a62f42c79b093fdf82b9ef6commit | diff
Increase regression test time limit to 1200s. (#3704)

Fixes #3565.
test/regress/run_regression.py diff | blob | history