diff --git a/tests/issues/1008/record.default.expected b/tests/issues/1008/record.default.expected
new file mode 100644
index 000000000..a6e005255
--- /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 b6e20987a..bf1fde645 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