From 169e32c8728a95128b4e78734f33d5ed53f32f1f Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Thu, 17 Mar 2022 10:14:57 -0700 Subject: [PATCH] Remove unused options handler (#8335) The option --bitblast-aig was removed in #7455, but the corresponding options handler was not. This commit removes the options handler. --- src/options/options_handler.cpp | 14 -------------- src/options/options_handler.h | 6 ------ 2 files changed, 20 deletions(-) diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index a41a2865a..fc699b403 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -361,20 +361,6 @@ void OptionsHandler::checkBvSatSolver(const std::string& flag, SatSolverMode m) } } -void OptionsHandler::setBitblastAig(const std::string& flag, bool arg) -{ - if(arg) { - if (d_options->bv.bitblastModeWasSetByUser) { - if (d_options->bv.bitblastMode != options::BitblastMode::EAGER) - { - throw OptionException("bitblast-aig must be used with eager bitblaster"); - } - } else { - d_options->bv.bitblastMode = options::BitblastMode::EAGER; - } - } -} - void OptionsHandler::setDefaultExprDepth(const std::string& flag, int64_t depth) { ioutils::setDefaultNodeDepth(depth); diff --git a/src/options/options_handler.h b/src/options/options_handler.h index a70a46a4a..ffa948399 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -104,14 +104,8 @@ class OptionsHandler /******************************* bv options *******************************/ - /** Check that abc is enabled */ - void abcEnabledBuild(const std::string& flag, bool value); - /** Check that abc is enabled */ - void abcEnabledBuild(const std::string& flag, const std::string& value); /** Check that the sat solver mode is compatible with other bv options */ void checkBvSatSolver(const std::string& flag, SatSolverMode m); - /** Check that we use eager bitblasting for aig */ - void setBitblastAig(const std::string& flag, bool arg); /******************************* expr options *******************************/ /** Set ExprSetDepth on all output streams */ -- 2.30.2