r_w_ok_valid_negated/test-no-cp was fixed in 3acdb52

tautschnig · tautschnig · commit bc7f0a387d2f · 2021-03-31T20:09:02.000Z
3acdb52 fixed the bug that had (also) caused cbmc-primitives/r_w_ok_valid_negated/test-no-cp.desc to fail.
diff --git a/regression/cbmc-primitives/r_w_ok_valid_negated/test-no-cp.desc b/regression/cbmc-primitives/r_w_ok_valid_negated/test-no-cp.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --pointer-check --no-simplify --no-propagation
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-KNOWNBUG`
	`1`	`+CORE`
`2`	`2`	`main.c`
`3`	`3`	`--pointer-check --no-simplify --no-propagation`
`4`	`4`	`^EXIT=0$`