projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 547bd91) | patch
cmake: Run regression level 2 for make check. (#2645)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 19 Oct 2018 02:22:22 +0000 (19:22 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 19 Oct 2018 02:22:22 +0000 (19:22 -0700)
commite57e2c8911d0b39a59aad29330466c93c8081506
tree487b04c6f2b71e39b29da791eadbeefdf4cd6539tree
parent547bd91e189b28da9950e12037d1e88079157479commit | diff
cmake: Run regression level 2 for make check. (#2645)
INSTALL.md diff | blob | history
test/CMakeLists.txt diff | blob | history
test/regress/CMakeLists.txt diff | blob | history