projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a0e1cb) | patch
cmake: Enable parallel execution for test targets regress, units, systemtests.
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 21 Aug 2018 01:40:27 +0000 (18:40 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit6c21382d9fab8ab0fcb8e994554b079bdc2870a1
treeacce3d473ecf19ae7c2948feeee84a104c2067f9tree
parent1a0e1cb98d303b5bd927ed33973b7bcff2c0a605commit | diff
cmake: Enable parallel execution for test targets regress, units, systemtests.
test/regress/CMakeLists.txt diff | blob | history
test/system/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history