From 817fe6d90c25dbdfe62c658add02efd51e2e29eb Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 9 Apr 2018 23:45:23 -0700 Subject: [PATCH] Remove unused arith options (#1758) Commit 629824db3911ab11ae286e4b14151a537602ba5a added options when introducing the pseudo boolean processor that were never used. This commit removes them. --- src/options/arith_options.toml | 18 ------------------ 1 file changed, 18 deletions(-) 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" -- 2.30.2