diff options
Diffstat (limited to 'test/regress/regress0/uflia')
10 files changed, 0 insertions, 10 deletions
diff --git a/test/regress/regress0/uflia/DRAGON_11_e1_2450.ec.minimized.smt2.expect b/test/regress/regress0/uflia/DRAGON_11_e1_2450.ec.minimized.smt2.expect index 917440603..9403b1a25 100644 --- a/test/regress/regress0/uflia/DRAGON_11_e1_2450.ec.minimized.smt2.expect +++ b/test/regress/regress0/uflia/DRAGON_11_e1_2450.ec.minimized.smt2.expect @@ -1,4 +1,3 @@ % COMMAND-LINE: --incremental % EXPECT: sat % EXPECT: sat -% EXIT: 10 diff --git a/test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.core.smt2.expect b/test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.core.smt2.expect index bd24c606e..85c180889 100644 --- a/test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.core.smt2.expect +++ b/test/regress/regress0/uflia/FIREFLY_3_e2_2236_e7_3681.ec.core.smt2.expect @@ -1,3 +1,2 @@ % COMMAND-LINE: --incremental % EXPECT: sat -% EXIT: 10 diff --git a/test/regress/regress0/uflia/check01.smt2 b/test/regress/regress0/uflia/check01.smt2 index 9d7236b52..33be9346a 100644 --- a/test/regress/regress0/uflia/check01.smt2 +++ b/test/regress/regress0/uflia/check01.smt2 @@ -1,6 +1,5 @@ ; COMMAND-LINE: --incremental ; EXPECT: sat -; EXIT: 10 (set-logic QF_UFLIA) (set-info :smt-lib-version 2.0) (set-info :status sat) diff --git a/test/regress/regress0/uflia/check02.smt2.expect b/test/regress/regress0/uflia/check02.smt2.expect index 9a8435b2d..fe118171a 100644 --- a/test/regress/regress0/uflia/check02.smt2.expect +++ b/test/regress/regress0/uflia/check02.smt2.expect @@ -1,4 +1,3 @@ % COMMAND-LINE: --incremental % EXPECT: sat % EXPECT: unsat -% EXIT: 20 diff --git a/test/regress/regress0/uflia/check03.smt2.expect b/test/regress/regress0/uflia/check03.smt2.expect index 9a8435b2d..fe118171a 100644 --- a/test/regress/regress0/uflia/check03.smt2.expect +++ b/test/regress/regress0/uflia/check03.smt2.expect @@ -1,4 +1,3 @@ % COMMAND-LINE: --incremental % EXPECT: sat % EXPECT: unsat -% EXIT: 20 diff --git a/test/regress/regress0/uflia/check04.smt2.expect b/test/regress/regress0/uflia/check04.smt2.expect index 9a8435b2d..fe118171a 100644 --- a/test/regress/regress0/uflia/check04.smt2.expect +++ b/test/regress/regress0/uflia/check04.smt2.expect @@ -1,4 +1,3 @@ % COMMAND-LINE: --incremental % EXPECT: sat % EXPECT: unsat -% EXIT: 20 diff --git a/test/regress/regress0/uflia/speed2_e8_449_e8_517.ec.smt2.expect b/test/regress/regress0/uflia/speed2_e8_449_e8_517.ec.smt2.expect index fd57f4ec9..65fb9b33f 100644 --- a/test/regress/regress0/uflia/speed2_e8_449_e8_517.ec.smt2.expect +++ b/test/regress/regress0/uflia/speed2_e8_449_e8_517.ec.smt2.expect @@ -3,4 +3,3 @@ % EXPECT: sat % EXPECT: unsat % EXPECT: unsat -% EXIT: 20 diff --git a/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.minimized.smt2.expect b/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.minimized.smt2.expect index 9a8435b2d..fe118171a 100644 --- a/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.minimized.smt2.expect +++ b/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.minimized.smt2.expect @@ -1,4 +1,3 @@ % COMMAND-LINE: --incremental % EXPECT: sat % EXPECT: unsat -% EXIT: 20 diff --git a/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.smt2.expect b/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.smt2.expect index 7a97d0f21..70b8fa26d 100644 --- a/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.smt2.expect +++ b/test/regress/regress0/uflia/stalmark_e7_27_e7_31.ec.smt2.expect @@ -5,4 +5,3 @@ % EXPECT: sat % EXPECT: unsat % EXPECT: unsat -% EXIT: 20 diff --git a/test/regress/regress0/uflia/tiny.smt2.expect b/test/regress/regress0/uflia/tiny.smt2.expect index 767e8af23..7081f83db 100644 --- a/test/regress/regress0/uflia/tiny.smt2.expect +++ b/test/regress/regress0/uflia/tiny.smt2.expect @@ -1,4 +1,3 @@ % COMMAND-LINE: --incremental --simplification=none % EXPECT: sat % EXPECT: unsat -% EXIT: 20 |