Another missing expected file

model-checking · Dec 1, 2023 · 907a7f9 · 907a7f9
1 parent e76d0b3
commit 907a7f9
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/tests/expected/function-contract/modifies/simple_fail.expected b/tests/expected/function-contract/modifies/simple_fail.expected
@@ -4,4 +4,4 @@ assigns\
 
 Failed Checks: Check that *ptr is assignable
 
-VERIFICATION:- FAILED
+VERIFICATION:- FAILED
diff --git a/tests/expected/function-contract/modifies/simple_pass.expected b/tests/expected/function-contract/modifies/simple_pass.expected
@@ -1 +1 @@
-VERIFICATION:- SUCCESSFUL
+VERIFICATION:- SUCCESSFUL
diff --git a/...ed/function-contract/stmt_expr_assigns.rs → ...d/function-contract/modifies/stmt_expr.rs b/...ed/function-contract/stmt_expr_assigns.rs → ...d/function-contract/modifies/stmt_expr.rs