summaryrefslogtreecommitdiff
path: root/test/system/CMakeLists.txt
AgeCommit message (Expand)Author
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-15Use Nodes for SmtEngine assertions (#4752)Andres Noetzli
2020-06-29Make ExprManager constructor private (#4669)Andres Noetzli
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2018-10-01cmake: Add build target build-tests to build all test dependencies. (#2558)Mathias Preiner
2018-09-26cmake: Fix test target dependency issues. (#2540)Mathias Preiner
2018-09-22cmake: Fix systemtests dependency.Mathias Preiner
2018-09-22cmake: Run make coverage in parallel by default.Mathias Preiner
2018-09-22cmake: Do not build examples and unit and system tests by default.Aina Niemetz
2018-09-22cmake: Added target checkAina Niemetz
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Add dependencies for test targets and support for make coverage.Aina Niemetz
2018-09-22cmake: Enable parallel execution for test targets regress, units, systemtests.Aina Niemetz
2018-09-22cmake: Added system tests and target make systemtests.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback