diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-09 22:18:58 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-09 20:18:58 -0700 |
commit | 0e09af0be57ec4df28869e4383a40d847c0a6b5a (patch) | |
tree | 659be92f761f174f6690bd16d1d2e6b0f2301999 /src/options/options_public_functions.cpp | |
parent | 3ebc297e6ff589f7b98519cd2aa23963a4e06652 (diff) |
Rename sygus option name (#3977)
This option enables the sygus solver (previous name was ceGuidedInst, deprecated from CAV 15 specific approach).
It also improves when this option is set. In particular we ensure it is enabled when sygus is enabled for any reason.
Diffstat (limited to 'src/options/options_public_functions.cpp')
-rw-r--r-- | src/options/options_public_functions.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index a556f2152..d1022c51c 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -218,10 +218,6 @@ void Options::setOutputLanguage(OutputLanguage value) { set(options::outputLanguage, value); } -bool Options::wasSetByUserCeGuidedInst() const { - return wasSetByUser(options::ceGuidedInst); -} - bool Options::wasSetByUserDumpSynth() const { return wasSetByUser(options::dumpSynth); } |