projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db75dee) | patch
cmake: Added system tests and target make systemtests.
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 21 Aug 2018 00:26:56 +0000 (17:26 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commitac1d915190a56328b3e33428deadc4a8b185d0a6
tree254e3d2199237b3b7bd811e1f989f35f11f10b93tree
parentdb75dee2b0644e141fd076769b5f46275c61dff3commit | diff
cmake: Added system tests and target make systemtests.
test/system/CMakeLists.txt diff | blob | history