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