Fix old cram test according to new implementation

karoliineh · karoliineh · commit ee33a8050f7e · 2023-12-27T11:51:17.000+02:00
diff --git a/tests/regression/29-svcomp/32-no-ov.t b/tests/regression/29-svcomp/32-no-ov.t
@@ -9,8 +9,3 @@
     dead: 0
     total lines: 3
   SV-COMP result: true
-  [Info][Race] Memory locations race summary:
-    safe: 1
-    vulnerable: 0
-    unsafe: 0
-    total memory locations: 1
