remove test copy

model-checking · Oct 21, 2024 · f742cd2 · f742cd2
1 parent 62f2855
commit f742cd2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 148 deletions.
diff --git a/charon b/charon
diff --git a/tests/kani/FunctionContracts/fixme_receiver_contracts copy.rs b/tests/kani/FunctionContracts/fixme_receiver_contracts copy.rs