diff options
Diffstat (limited to 'test/regress/regress0/uf/pred.smt')
| -rw-r--r-- | test/regress/regress0/uf/pred.smt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/uf/pred.smt b/test/regress/regress0/uf/pred.smt index e6f82727e..bdc49e7ce 100644 --- a/test/regress/regress0/uf/pred.smt +++ b/test/regress/regress0/uf/pred.smt @@ -1,5 +1,5 @@ -(benchmark euf_simp1.smt -:status sat +(benchmark pred.smt +:status unsat :logic QF_UF :category { crafted } |