From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 28 Mar 2022 16:49:32 +0000 (-0700)
Subject: Mark solve-bv-as-int as expert. (#8417)
X-Git-Tag: cvc5-1.0.0~155
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dba4d386fa6ae7bd8255f249574fbe0c0c85c88b;p=cvc5.git

Mark solve-bv-as-int as expert. (#8417)

Option not yet stable.
---

diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml
index 4b84b4404..28b72a168 100644
--- a/src/options/smt_options.toml
+++ b/src/options/smt_options.toml
@@ -352,7 +352,7 @@ name   = "SMT Layer"
 
 [[option]]
   name       = "solveBVAsInt"
-  category   = "regular"
+  category   = "expert"
   long       = "solve-bv-as-int=MODE"
   type       = "SolveBVAsIntMode"
   default    = "OFF"