projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b5b4e7) | patch
Add support for filtering regressions with regex (#1711)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 26 Mar 2018 19:59:58 +0000 (12:59 -0700)
committerGitHub <noreply@github.com>
Mon, 26 Mar 2018 19:59:58 +0000 (12:59 -0700)
commitd0ce9d1dd563e6ec5c84743ced1b07ff0b3b9cb5
tree6456cb965fe0463ffbba3dc55fada2be8dd01dfftree
parent8b5b4e7c9df5bd9d5959c7c92a5b28c951881d49commit | diff
Add support for filtering regressions with regex (#1711)

This commit adds support for filtering the regression tests using a
regex. For example:

```
TEST_REGEX=quantifiers make regress0
```

Runs regression tests from level 0 that have "quantifiers" in their
name.
test/regress/Makefile.levels diff | blob | history