Remove duplicated tests again

OCamlPro · Oct 8, 2024 · 2b1f718 · 2b1f718
1 parent 7b1559a
commit 2b1f718
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 13 deletions.
diff --git a/tests/models/bitv/bvxor-1.expected b/tests/models/bitv/bvxor-1.expected
diff --git a/tests/models/bitv/bvxor-1.smt2 b/tests/models/bitv/bvxor-1.smt2