From 198117d03a64491f6cc7c70017e56857598d22de Mon Sep 17 00:00:00 2001 From: Qinheping Hu Date: Mon, 22 Jul 2024 01:56:52 -0500 Subject: [PATCH] Fix existing loop-contracts side-effect tests --- .../contracts-dfcc/variant_function_call_fail/test.desc | 4 ++-- regression/contracts-dfcc/variant_side_effects_fail/test.desc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/regression/contracts-dfcc/variant_function_call_fail/test.desc b/regression/contracts-dfcc/variant_function_call_fail/test.desc index d1bff78a41a..884263a801f 100644 --- 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 index 7ce5cab0ce1..546e0c5e7c8 100644 --- 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$ -- --