Fix existing loop-contracts side-effect tests

qinheping · Jul 3, 2024 · 3666698 · 3666698
1 parent 2bd6453
commit 3666698
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/regression/contracts-dfcc/variant_function_call_fail/test.desc b/regression/contracts-dfcc/variant_function_call_fail/test.desc
@@ -1,8 +1,8 @@
 CORE
 main.c
 --dfcc main --apply-loop-contracts
-^Decreases clause is not side-effect free. \(at: file main.c line .* function main\)$
-^EXIT=70$
+^Decreases clause is not side-effect free.$
+^EXIT=6$
 ^SIGNAL=0$
 --
 --

diff --git a/regression/contracts-dfcc/variant_side_effects_fail/test.desc b/regression/contracts-dfcc/variant_side_effects_fail/test.desc
@@ -1,8 +1,8 @@
 CORE
 main.c
 --dfcc main --apply-loop-contracts
-^Decreases clause is not side-effect free. \(at: file main.c line .* function main\)$
-^EXIT=70$
+^Decreases clause is not side-effect free.$
+^EXIT=6$
 ^SIGNAL=0$
 --
 --