Remove duplicated tests

Halbaroth · Oct 8, 2024 · 233ac54 · 233ac54
1 parent 6405283
commit 233ac54
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 60 deletions.
diff --git a/tests/issues/854/function.expected b/tests/issues/854/function.expected
diff --git a/tests/issues/854/function.smt2 b/tests/issues/854/function.smt2
diff --git a/tests/issues/854/original.expected b/tests/issues/854/original.expected
diff --git a/tests/issues/854/original.smt2 b/tests/issues/854/original.smt2
diff --git a/tests/issues/854/twice_eq.expected b/tests/issues/854/twice_eq.expected
diff --git a/tests/issues/854/twice_eq.smt2 b/tests/issues/854/twice_eq.smt2