Removed non-passing test

SRI-CSL · May 29, 2024 · 76e0a5d · 76e0a5d
1 parent 83baf76
commit 76e0a5d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 166 deletions.
diff --git a/tests/regress/mcsat/ff/compilation-deterministic-random-04v-008t-ff-zokref-5b-0s.smt2 b/tests/regress/mcsat/ff/compilation-deterministic-random-04v-008t-ff-zokref-5b-0s.smt2
diff --git a/tests/regress/mcsat/ff/compilation-deterministic-random-04v-008t-ff-zokref-5b-0s.smt2.gold b/tests/regress/mcsat/ff/compilation-deterministic-random-04v-008t-ff-zokref-5b-0s.smt2.gold