diff options
| author | Tim King <taking@google.com> | 2017-07-20 18:00:11 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2017-07-20 18:00:11 -0700 |
| commit | 26a2fcf1413a02788dc25745fac87eb610b5a55d (patch) | |
| tree | 21e7db3d7707a5be944124cb5959656ba9e2ee36 /test/regress/regress0/sygus/Makefile.am | |
| parent | 8cf852387cb3a6ec17e77e61956030ca0c4c3837 (diff) | |
| parent | 8b0659e6cd342ae40b676781b5e819d5fd2b3af7 (diff) | |
Merge branch 'master' into cleanup-regexp
Diffstat (limited to 'test/regress/regress0/sygus/Makefile.am')
| -rw-r--r-- | test/regress/regress0/sygus/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/sygus/Makefile.am b/test/regress/regress0/sygus/Makefile.am index 0786c3f31..c22f64b93 100644 --- a/test/regress/regress0/sygus/Makefile.am +++ b/test/regress/regress0/sygus/Makefile.am @@ -61,7 +61,8 @@ TESTS = commutative.sy \ strings-trivial.sy \ General_plus10.sy \ qe.sy \ - cggmp.sy + cggmp.sy \ + parse-bv-let.sy # sygus tests currently taking too long for make regress |