projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba659fb) | patch
update example in README to use ctest. (#4540)
authoryoni206 <yoni206@users.noreply.github.com>
Sun, 31 May 2020 04:17:59 +0000 (21:17 -0700)
committerGitHub <noreply@github.com>
Sun, 31 May 2020 04:17:59 +0000 (21:17 -0700)
commitb771d6bd159aed8dc5449871dd0607c31bd47081
tree13498e46f0dc9c09d7fff40ac97163f577b97c5atree
parentba659fb1b8bc2f110616ec113892f63f210a5ebbcommit | diff
update example in README to use ctest. (#4540)

An example for restricting timeout in tests uses the old `make regress0` instead of the new `ctest -L regress0`
test/regress/README.md diff | blob | history