Fix test case

model-checking · Jan 30, 2024 · 4bd7583 · 4bd7583
1 parent 5eab701
commit 4bd7583
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/expected/function-contract/modifies/expr_replace_fail.expected b/tests/expected/function-contract/modifies/expr_replace_fail.expected
@@ -1,7 +1,7 @@
 main.assertion\
 - Status: FAILURE\
-- Description: "Increment"
+- Description: ""Increment""
 
-Failed Checks: Increment
+Failed Checks: "Increment"
 
 VERIFICATION:- FAILED