Redo expected files with new line info

model-checking · Aug 26, 2024 · fb388f3 · fb388f3
1 parent dc332a7
commit fb388f3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/tests/expected/aliasing/control_flow.expected b/tests/expected/aliasing/control_flow.expected
@@ -1 +1,4 @@
-Failed Checks: Stacked borrows aliasing model violated at "./tests/expected/aliasing/control_flow.rs":LineInfo { start_line: 22, start_col: 17, end_line: 22, end_col: 36 }
+Failed Checks: Stacked borrows aliasing model violated.
+ File: "./tests/expected/aliasing/control_flow.rs", line 21, in main
+Failed Checks: Stacked borrows aliasing model violated.
+ File: "./tests/expected/aliasing/control_flow.rs", line 22, in main
diff --git a/tests/expected/aliasing/duplicate_write_compressed.expected b/tests/expected/aliasing/duplicate_write_compressed.expected
@@ -1 +1,2 @@
-Failed Checks: Stacked borrows aliasing model violated at "./tests/expected/aliasing/duplicate_write_compressed.rs":LineInfo { start_line: 12, start_col: 9, end_line: 12, end_col: 28 }
+Failed Checks: Stacked borrows aliasing model violated.
+ File: "./tests/expected/aliasing/duplicate_write_compressed.rs", line 12, in main