fx

Author: kroening

regression/cbmc-incr-smt2/bitvector-bitwise-operators/shift_right.desc

@@ -2,8 +2,8 @@ CORE
 shift_right.c
 --trace
 \[main\.assertion\.1\] line \d+ Right shifting a uint with leftmost bit set is a logical shift: FAILURE
-\[main\.assertion\.2\] line \d+ Right shifting a positive number has a lower bound of 0: SUCCESS
-\[main\.assertion\.3\] line \d+ Right shifting a negative number has a lower bound value of -1: SUCCESS
+\[main\.assertion\.2\] line \d+ Right shifting a positive number has a lower bound of 0: UNKNOWN
+\[main\.assertion\.3\] line \d+ Right shifting a negative number has a lower bound value of -1: UNKNOWN
 second=128
 result_unsigned=(64|'@')
 ^EXIT=10$