From 6530ef34e68a5a9badfdcd0eae5f2fa8458c0c95 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Mon, 28 Oct 2024 13:30:33 +0100
Subject: [PATCH] Add a variant of the issue 1008 test

Currently, the test `record.smt2` of the issue 1008 only succeeds with
the Tableaux SAT solver
---
 tests/issues/1008/record.default.expected                       | 2 ++
 tests/issues/1008/{record.expected => record.tableaux.expected} | 0
 tests/issues/1008/{record.smt2 => record.tableaux.smt2}         | 0
 tools/gentest.ml                                                | 2 ++
 4 files changed, 4 insertions(+)
 create mode 100644 tests/issues/1008/record.default.expected
 rename tests/issues/1008/{record.expected => record.tableaux.expected} (100%)
 rename tests/issues/1008/{record.smt2 => record.tableaux.smt2} (100%)

diff --git a/tests/issues/1008/record.default.expected b/tests/issues/1008/record.default.expected
new file mode 100644
index 0000000000..a6e005255c
--- /dev/null
+++ b/tests/issues/1008/record.default.expected
@@ -0,0 +1,2 @@
+
+unknown
diff --git a/tests/issues/1008/record.expected b/tests/issues/1008/record.tableaux.expected
similarity index 100%
rename from tests/issues/1008/record.expected
rename to tests/issues/1008/record.tableaux.expected
diff --git a/tests/issues/1008/record.smt2 b/tests/issues/1008/record.tableaux.smt2
similarity index 100%
rename from tests/issues/1008/record.smt2
rename to tests/issues/1008/record.tableaux.smt2
diff --git a/tools/gentest.ml b/tools/gentest.ml
index b6e20987a1..bf1fde645a 100644
--- 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