Forgot to commit this one

model-checking · Dec 1, 2023 · 384c2f6 · 384c2f6
1 parent 0573d09
commit 384c2f6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/expected/function-contract/modifies/stmt_expr.expected b/tests/expected/function-contract/modifies/stmt_expr.expected
@@ -0,0 +1 @@
+VERIFICATION:- SUCCESSFUL