Remove duplicated tests again and again

Halbaroth · Oct 8, 2024 · cce8bc7 · cce8bc7
1 parent 9fb4279
commit cce8bc7
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 16 deletions.
diff --git a/tests/models/adt/small.expected b/tests/models/adt/small.expected
diff --git a/tests/models/adt/small.smt2 b/tests/models/adt/small.smt2