From e03a6f71adf7ca7b10ec9b1782813ee441fb7ae9 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Mon, 30 Dec 2024 17:04:21 +0100 Subject: [PATCH] Update comment --- tests/regression/46-apron2/98-invalidate-more.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/regression/46-apron2/98-invalidate-more.c b/tests/regression/46-apron2/98-invalidate-more.c index 948b70e3ce..acf3944b10 100644 --- 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; }