Add unknown annotation to assert in test case.

jerhard · jerhard · commit f947dcc79f7b · 2025-02-24T17:04:14.000+01:00
diff --git a/tests/regression/37-congruence/16-refinement-fixpoint.c b/tests/regression/37-congruence/16-refinement-fixpoint.c
@@ -14,7 +14,7 @@ int main(void)
 
     e += 3U;
 
-    assert(e == (unsigned int )c + d);
+    assert(e == (unsigned int )c + d); //UNKNOWN
 
     burgo = 23;
   }

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ int main(void)`
`14`	`14`
`15`	`15`	`e += 3U;`
`16`	`16`
`17`		`- assert(e == (unsigned int )c + d);`
	`17`	`+ assert(e == (unsigned int )c + d); //UNKNOWN`
`18`	`18`
`19`	`19`	`burgo = 23;`
`20`	`20`	`}`