Fmt

model-checking · Nov 11, 2023 · 187c56f · 187c56f
1 parent f6d939c
commit 187c56f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/tests/expected/function-contract/assigns_expr_pass.rs b/tests/expected/function-contract/assigns_expr_pass.rs
@@ -12,4 +12,4 @@ fn modify(ptr: &mut Box<u32>) {
 fn main() {
     let mut i = Box::new(kani::any());
     modify(&mut i);
-}
+}
diff --git a/tests/expected/function-contract/assigns_fail.rs b/tests/expected/function-contract/assigns_fail.rs
@@ -12,4 +12,4 @@ fn main() {
     let _ = Box::new(());
     let mut i = kani::any();
     modify(&mut i);
-}
+}
diff --git a/tests/expected/function-contract/assigns_pass.rs b/tests/expected/function-contract/assigns_pass.rs
@@ -13,4 +13,4 @@ fn main() {
     let _ = Box::new(());
     let mut i = kani::any();
     modify(&mut i);
-}
+}