remove old test

model-checking · Jun 20, 2024 · 6aa8f7a · 6aa8f7a
1 parent bf9a65e
commit 6aa8f7a
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 26 deletions.
diff --git a/tests/cargo-ui/function/Cargo.toml b/tests/cargo-ui/function/Cargo.toml
diff --git a/tests/cargo-ui/function/expected b/tests/cargo-ui/function/expected
diff --git a/tests/cargo-ui/function/src/lib.rs b/tests/cargo-ui/function/src/lib.rs