diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-03-11 22:27:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-11 22:27:32 -0700 |
| commit | 404affc37ba4961220e6ab02ee6175844151f6a9 (patch) | |
| tree | 26dc347126b4ccb54d9bdb7b8f12c157d1666e43 /src | |
| parent | f48b987d63fef3f698e02c9a48fdba33ffb1c564 (diff) | |
Hide options for and related to the BV abstraction module. (#4041)
All things related to the current BV solver are obsolete in the sense
that we are working on a new BV solver implementation. The BV abstraction
module has several issues and is quite hacky, it should only be enabled
in experimental settings. We don't want to remove it yet though, we want
to keep it around for future evaluation purposes. This commit
categorizes the option to enable the module and a second option related
to the module as 'undocumented'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/options/bv_options.toml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index 00755d8a6..489f33ed7 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -204,7 +204,7 @@ header = "options/bv_options.h" [[option]] name = "bvAbstraction" - category = "expert" + category = "undocumented" long = "bv-abstraction" type = "bool" default = "false" @@ -212,7 +212,7 @@ header = "options/bv_options.h" [[option]] name = "skolemizeArguments" - category = "expert" + category = "undocumented" long = "bv-skolemize" type = "bool" default = "false" |