projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6eee137) | patch
Optionally split regression tests into test groups (#207)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 8 Aug 2017 01:35:30 +0000 (18:35 -0700)
committerGitHub <noreply@github.com>
Tue, 8 Aug 2017 01:35:30 +0000 (18:35 -0700)
commite73457b4f243ea1a68d14486918e53d5d88f065d
treead7cc1744fc00cd04534523410539d461aa4fb33tree
parent6eee137dc64e3f2c467d70edf2bb18abd6b3b071commit | diff
Optionally split regression tests into test groups (#207)

To prevent timing out on Travis, this commit adds the option to split
the regression tests into groups and run each group in a separate job.
The group of a test is determined by computing a checksum of its name.
.travis.yml diff | blob | history
test/regress/run_regression diff | blob | history