diff options
Diffstat (limited to 'Source/Core/CommandLineOptions.ssc')
| -rw-r--r-- | Source/Core/CommandLineOptions.ssc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.ssc b/Source/Core/CommandLineOptions.ssc index bed34c63..f9daaaf5 100644 --- a/Source/Core/CommandLineOptions.ssc +++ b/Source/Core/CommandLineOptions.ssc @@ -152,6 +152,7 @@ namespace Microsoft.Boogie public BvHandling Bitvectors = BvHandling.Z3Native;
public bool UseArrayTheory = false;
+ public bool ExpandLambdas = true; // not useful from command line, only to be set to false programatically
public bool UseAbstractInterpretation = true; // true iff the user want to use abstract interpretation
public int /*0..9*/StepsBeforeWidening = 0; // The number of steps that must be done before applying a widen operator
|