Move non-stream options out of `printer_options.toml` (#8909)

[cvc5.git] / src / options / smt_options.toml

diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml
index 6e47b6b8fd75cfb40dcd0f2966202d35b738cb52..a309b50051f6b26f77d67329dd96534e8c44d891 100644 (file)
--- a/src/options/smt_options.toml
+++ b/src/options/smt_options.toml
@@ -175,6 +175,14 @@ name   = "SMT Layer"
   default    = "false"
   help       = "if an unsat core is produced, it is reduced to a minimal unsat core"
 
+[[option]]
+  name       = "printUnsatCoresFull"
+  category   = "regular"
+  long       = "print-unsat-cores-full"
+  type       = "bool"
+  default    = "false"
+  help       = "when printing unsat cores, include unlabeled assertions"
+
 [[option]]
   name       = "checkUnsatCores"
   category   = "regular"