diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/push-pop/bug326.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/push-pop/bug326.smt2 b/test/regress/regress0/push-pop/bug326.smt2 index 51d60e920..8fe88e9f5 100644 --- a/test/regress/regress0/push-pop/bug326.smt2 +++ b/test/regress/regress0/push-pop/bug326.smt2 @@ -31,7 +31,7 @@ (check-sat) (pop) -; EXPECT: unknown +; EXPECT: sat (push);;sat (assert (and (not (R e1 e3)) (R e4 e1))) (check-sat) |