Commit 1c01d19c authored by Mathias Preiner's avatar Mathias Preiner
Browse files

Fix OR with only one argument.

parent 84264e22
Pipeline #190 failed with stages
......@@ -27,7 +27,7 @@
(assert (let ((a!1 (=> true
(=> |execution_statet::__guard_exec@0!0|
(=> (not |c::test::$tmp::tmp$2@1!0&0#1|) false)))))
(or (not a!1))))
(not a!1)))
(check-sat)
(exit)
......@@ -27,7 +27,7 @@
(assert (let ((a!1 (=> true
(=> |execution_statet::__guard_exec@0!0|
(=> (not |c::test::$tmp::tmp$2@1!0&0#1|) false)))))
(or (not a!1))))
(not a!1)))
(check-sat)
(exit)
......@@ -239,7 +239,7 @@
false)))
(let ((a!4 (=> (and true (not a!1) (=> (not a!1) (not a!2)))
(=> |execution_statet::__guard_exec@0!0| a!3))))
(or (not a!4))))))
(not a!4)))))
(check-sat)
(exit)
......@@ -30,7 +30,7 @@
(=> (bvsge |c::argc'&0#0| #x00000001)
(bvsle |c::argc'&0#0| #x7ffffffe)))
a!1)))
(or (not a!2)))))
(not a!2))))
(check-sat)
(exit)
......@@ -176,7 +176,7 @@
(assert (let ((a!1 (=> true
(=> |execution_statet::__guard_exec@0!0|
(=> (not |c::main::$tmp::tmp$14@1!0&0#1|) false)))))
(or (not a!1))))
(not a!1)))
(check-sat)
(exit)
......@@ -22,7 +22,7 @@
((_ to_fp_unsigned 11 53)
roundNearestTiesToEven
|c::main::main::1::x@1!0&0#0|))))))
(or (not (=> true a!1)))))
(not (=> true a!1))))
(check-sat)
(exit)
......@@ -72,7 +72,7 @@
(assert (let ((a!1 (=> (and (not (not |goto_symex::guard@0!0&0#1|))
(not |c::f00::$tmp::tmp$6@1!0&0#1|))
false)))
(or (not (=> true (=> |execution_statet::__guard_exec@0!0| a!1))))))
(not (=> true (=> |execution_statet::__guard_exec@0!0| a!1)))))
(check-sat)
(exit)
......@@ -40,7 +40,7 @@
(assert (let ((a!1 (=> true
(=> |execution_statet::__guard_exec@0!0|
(fp.eq |c::d&0#4| (fp #b0 #b10000000000 #x0000000000000))))))
(or (not a!1))))
(not a!1)))
(check-sat)
(exit)
......@@ -30,7 +30,7 @@
(not (= |c::main::$tmp::return_value_isfinite$1@1!0&0#1|
#x00000000)))
a!1)))
(or (not a!2)))))
(not a!2))))
(check-sat)
(exit)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment