diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-03-26 12:59:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-26 12:59:58 -0700 |
| commit | d0ce9d1dd563e6ec5c84743ced1b07ff0b3b9cb5 (patch) | |
| tree | 6456cb965fe0463ffbba3dc55fada2be8dd01dff /src/theory/quantifiers/sygus/sygus_pbe.cpp | |
| parent | 8b5b4e7c9df5bd9d5959c7c92a5b28c951881d49 (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.
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_pbe.cpp')
0 files changed, 0 insertions, 0 deletions