From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 10 Apr 2018 06:45:23 +0000 (-0700)
Subject: Remove unused arith options (#1758)
X-Git-Tag: cvc5-1.0.0~5162
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=817fe6d90c25dbdfe62c658add02efd51e2e29eb;p=cvc5.git

Remove unused arith options (#1758)

Commit 629824db3911ab11ae286e4b14151a537602ba5a added options when
introducing the pseudo boolean processor that were never used. This
commit removes them.
---

diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml
index dc7b95d58..4f68d1689 100644
--- a/src/options/arith_options.toml
+++ b/src/options/arith_options.toml
@@ -387,15 +387,6 @@ header = "options/arith_options.h"
   read_only  = true
   help       = "threshold for substituting an equality in ppAssert"
 
-[[option]]
-  name       = "maxReplayTree"
-  category   = "regular"
-  long       = "max-replay-tree"
-  type       = "int"
-  default    = "512"
-  read_only  = true
-  help       = "threshold for attempting to replay a tree"
-
 [[option]]
   name       = "arithNoPartialFun"
   category   = "regular"
@@ -414,15 +405,6 @@ header = "options/arith_options.h"
   read_only  = true
   help       = "apply pseudo boolean rewrites"
 
-[[option]]
-  name       = "pbRewriteThreshold"
-  category   = "regular"
-  long       = "pb-rewrite-threshold"
-  type       = "int"
-  default    = "256"
-  read_only  = true
-  help       = "threshold of number of pseudoboolean variables to have before doing rewrites"
-
 [[option]]
   name       = "sNormInferEq"
   category   = "regular"