From 384c2f6564c0cdbf3fa42599f6b84ed6b134ab40 Mon Sep 17 00:00:00 2001 From: Justus Adam Date: Fri, 1 Dec 2023 14:39:13 -0800 Subject: [PATCH] Forgot to commit this one --- tests/expected/function-contract/modifies/stmt_expr.expected | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/expected/function-contract/modifies/stmt_expr.expected diff --git a/tests/expected/function-contract/modifies/stmt_expr.expected b/tests/expected/function-contract/modifies/stmt_expr.expected new file mode 100644 index 000000000000..34c886c358cb --- /dev/null +++ b/tests/expected/function-contract/modifies/stmt_expr.expected @@ -0,0 +1 @@ +VERIFICATION:- SUCCESSFUL