diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-05-10 23:37:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-10 21:37:12 +0000 |
| commit | d5987a99361f227cf2ea1404fec594f4a998be70 (patch) | |
| tree | 2bb7da37547255de3a63141caa41b58e1adc6e7c /src/options/parser_options.toml | |
| parent | ac8cf53b07eb29687850f2ae64007f9f2688c9ad (diff) | |
Remove read_only from options. (#6513)
This PR removes the possibility of declaring options read_only.
It's only effect is making an attempts to disallow changing the respective option from within our internal code (by not providing a setter method). However, a "read-only" option can still be set via the setOption() methods that is also used by the API, and by SMT-LIB's set-option.
Diffstat (limited to 'src/options/parser_options.toml')
| -rw-r--r-- | src/options/parser_options.toml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/options/parser_options.toml b/src/options/parser_options.toml index 1a4b75429..56568bc0c 100644 --- a/src/options/parser_options.toml +++ b/src/options/parser_options.toml @@ -7,7 +7,6 @@ header = "options/parser_options.h" category = "common" long = "strict-parsing" type = "bool" - read_only = true help = "be less tolerant of non-conforming inputs" [[option]] @@ -15,7 +14,6 @@ header = "options/parser_options.h" category = "regular" long = "mmap" type = "bool" - read_only = true help = "memory map file input" [[option]] @@ -24,7 +22,6 @@ header = "options/parser_options.h" category = "regular" type = "bool" default = "DO_SEMANTIC_CHECKS_BY_DEFAULT" - read_only = true help = "enable semantic checks, including type checks" [[option]] @@ -33,7 +30,6 @@ header = "options/parser_options.h" category = "regular" type = "bool" default = "false" - read_only = true help = "force all declarations and definitions to be global" # this is to support security in the online version, and in other similar @@ -54,7 +50,6 @@ header = "options/parser_options.h" long = "filesystem-access" type = "bool" default = "true" - read_only = true [[option]] name = "forceLogicString" @@ -62,5 +57,4 @@ header = "options/parser_options.h" category = "expert" long = "force-logic=LOGIC" type = "std::string" - read_only = true help = "set the logic, and override all further user attempts to change it" |