Update comment

michael-schwarz · michael-schwarz · commit e03a6f71adf7 · 2024-12-30T17:04:21.000+01:00
diff --git a/tests/regression/46-apron2/98-invalidate-more.c b/tests/regression/46-apron2/98-invalidate-more.c
@@ -16,7 +16,7 @@ int main() {
 
   fscanf(stdin, "%d", &other);
 
-   // Fails as debug is invalidated
+   // Use to fail as debug was invalidated
   __goblint_check(debug <= 3);
   return 0;
 }

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ int main() {`
`16`	`16`
`17`	`17`	`fscanf(stdin, "%d", &other);`
`18`	`18`
`19`		`- // Fails as debug is invalidated`
	`19`	`+ // Use to fail as debug was invalidated`
`20`	`20`	`__goblint_check(debug <= 3);`
`21`	`21`	`return 0;`
`22`	`22`	`}`