projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5f9665) | patch
Add custom targets for specific testers. (#8653)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Mon, 25 Apr 2022 16:08:23 +0000 (11:08 -0500)
committerGitHub <noreply@github.com>
Mon, 25 Apr 2022 16:08:23 +0000 (16:08 +0000)
commit30aa15ca61677b53db95cd7ee4210ae90c8b6d3c
tree8e1fc498b55bca3c91b15bdc343ec0a5c7ed836dtree
parentf5f9665a43576ff9524687b13f6099fd90e86c98commit | diff
Add custom targets for specific testers. (#8653)

This adds custom targets to run a specific tester (e.g., `regress-lfsc`).

Signed-off-by: Abdalrhman M Mohamed <abdalrhman-mohamed@uiowa.edu>
test/regress/cli/CMakeLists.txt diff | blob | history