Merge pull request #8121 from diffblue/fix-hex_trace-test

fix nondeterministic hex_trace test
diffblue · Dec 18, 2023 · 8fc41f3 · 8fc41f3
2 parents 5341b44 + 39513a3
commit 8fc41f3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/regression/cbmc/hex_trace/test.desc b/regression/cbmc/hex_trace/test.desc
@@ -4,7 +4,6 @@ main.c
 ^EXIT=10$
 ^SIGNAL=0$
 a=0 \s*\(0x0\)
-b=0ul? \s*\(0x0\)
 a=-100 \s*\(0xFFFFFF9C\)
 a=2147483647 \s*\(0x7FFFFFFF\)
 b=4294967294ul? \s*\(0xFFFFFFFE\)