Update cram test with SV-COMP specification

goblint · Jan 11, 2024 · 6f89b91 · 6f89b91
1 parent 0ca32e0
commit 6f89b91
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/29-svcomp/32-no-ov.t b/tests/regression/29-svcomp/32-no-ov.t
@@ -1,5 +1,5 @@
   $ goblint --enable ana.int.interval --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --set ana.specification "CHECK( init(main()), LTL(G ! overflow) )"  32-no-ov.c
-  SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )
+  [Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )
   [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (32-no-ov.c:5:6-5:159)
   [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (32-no-ov.c:5:6-5:159)
   [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (32-no-ov.c:5:6-5:159)