Add a variant of the issue 1008 test

Currently, the test `record.smt2` of the issue 1008 only succeeds with the Tableaux SAT solver
Halbaroth · Oct 28, 2024 · 6530ef3 · 6530ef3
1 parent 79099b0
commit 6530ef3
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/tests/issues/1008/record.default.expected b/tests/issues/1008/record.default.expected
@@ -0,0 +1,2 @@
+
+unknown
diff --git a/tests/issues/1008/record.expected → tests/issues/1008/record.tableaux.expected b/tests/issues/1008/record.expected → tests/issues/1008/record.tableaux.expected
diff --git a/tests/issues/1008/record.smt2 → tests/issues/1008/record.tableaux.smt2 b/tests/issues/1008/record.smt2 → tests/issues/1008/record.tableaux.smt2
diff --git a/tools/gentest.ml b/tools/gentest.ml
@@ -264,6 +264,8 @@ end = struct
                 {acc with accepted_exit_codes = [142]}
               | "default" ->
                 {acc with filters = Some ["default"]}
+              | "tableaux" ->
+                {acc with filters = Some ["tableaux"]}
               | _ -> acc
           )
             Test.base_params