Fix missing files

tautschnig · Jan 28, 2025 · 0dec9b3 · 0dec9b3
1 parent 136dd83
commit 0dec9b3
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 0 deletions.
diff --git a/tests/expected/MemPredicates/adt_with_metadata.expected b/tests/expected/MemPredicates/adt_with_metadata.expected
@@ -0,0 +1,4 @@
+Failed Checks: Kani does not support reasoning about pointer to unallocated memory
+
+Verification failed for - invalid_access::check_invalid_dyn_ptr
+Complete - 3 successfully verified harnesses, 1 failures, 4 total.
diff --git a/tests/expected/adt_with_metadata.rs → ...pected/MemPredicates/adt_with_metadata.rs b/tests/expected/adt_with_metadata.rs → ...pected/MemPredicates/adt_with_metadata.rs
diff --git a/tests/expected/MemPredicates/fat_ptr_validity.expected b/tests/expected/MemPredicates/fat_ptr_validity.expected
@@ -0,0 +1,5 @@
+Failed Checks: Kani does not support reasoning about pointer to unallocated memory
+
+Verification failed for - invalid_access::check_invalid_slice_ptr
+Verification failed for - invalid_access::check_invalid_dyn_ptr
+Complete - 4 successfully verified harnesses, 2 failures, 6 total.
diff --git a/tests/expected/fat_ptr_validity.rs → ...xpected/MemPredicates/fat_ptr_validity.rs b/tests/expected/fat_ptr_validity.rs → ...xpected/MemPredicates/fat_ptr_validity.rs
diff --git a/tests/expected/MemPredicates/thin_ptr_validity.expected b/tests/expected/MemPredicates/thin_ptr_validity.expected
@@ -0,0 +1,5 @@
+Failed Checks: Kani does not support reasoning about pointer to unallocated memory
+
+Verification failed for - invalid_access::check_invalid_array
+Verification failed for - invalid_access::check_invalid_ptr
+Complete - 3 successfully verified harnesses, 2 failures, 5 total.
diff --git a/tests/expected/thin_ptr_validity.rs → ...pected/MemPredicates/thin_ptr_validity.rs b/tests/expected/thin_ptr_validity.rs → ...pected/MemPredicates/thin_ptr_validity.rs