diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-01-09 09:40:10 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-01-09 09:40:10 -0600 |
| commit | 2d0ba1036e35a6ce6cb8d5cd9e68d311ae8cde80 (patch) | |
| tree | f635e802d9ccd6b2f2f28c9c2994fe55492f6d3d /test | |
| parent | 0f03904f2fbe4f785c697dc301f48f55919896cd (diff) | |
blocked unprintable characters in string literals;
disabled string literal test case for smtlib v2.5
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/parser/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/regress/regress0/parser/Makefile.am b/test/regress/regress0/parser/Makefile.am index eb27e797b..3808bd54d 100644 --- a/test/regress/regress0/parser/Makefile.am +++ b/test/regress/regress0/parser/Makefile.am @@ -20,8 +20,9 @@ MAKEFLAGS = -k # put it below in "TESTS +=" TESTS = \ declarefun-emptyset-uf.smt2 \ - strings20.smt2 \ - strings25.smt2 + strings20.smt2 + +# strings25.smt2 EXTRA_DIST = $(TESTS) |