From d5987a99361f227cf2ea1404fec594f4a998be70 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 10 May 2021 23:37:12 +0200 Subject: 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. --- src/options/README | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/options/README') diff --git a/src/options/README b/src/options/README index 5467d20c4..868690b85 100644 --- a/src/options/README +++ b/src/options/README @@ -41,9 +41,6 @@ Options predicates ... (list) functions that check whether given option value is valid includes ... (list) header files required by handler/predicates - read_only ... (bool) true: option should not provide a ::set method, - false (default): option should provide a ::set - method to set the option value alternate ... (bool) true (default): add --no- alternative option false: omit --no- alternative option help ... (string) documentation (required if category is not @@ -71,7 +68,6 @@ Options handler = "stringToOutputLanguage" predicates = [] includes = ["options/language.h"] - read_only = false help = "force output language (default is \"auto\"; see --output-lang help)" -- cgit v1.2.3