projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e65308f) | patch
cmake: Add warning when unit testing is disabled due to assertions being disabled...
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 5 Oct 2020 23:14:10 +0000 (16:14 -0700)
committerGitHub <noreply@github.com>
Mon, 5 Oct 2020 23:14:10 +0000 (16:14 -0700)
commit88fb54a554f1a374a380b1808d355f096437d1c0
tree70e3a56c22fa5afaee520b3422f64d506506cf5dtree
parente65308fa102d7121a981c9e6bc5b1414b28f9b28commit | diff
cmake: Add warning when unit testing is disabled due to assertions being disabled. (#5204)

This further fixes the testing instructions for API tests (formerly known as system tests)
in INSTALL.md.

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
CMakeLists.txt diff | blob | history
INSTALL.md diff | blob | history