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 e3b5293f..bab1d04b 100644 --- a/Source/Core/CommandLineOptions.ssc +++ b/Source/Core/CommandLineOptions.ssc @@ -1306,6 +1306,7 @@ namespace Microsoft.Boogie PrintErrorModel = 1;
TypeEncodingMethod = TypeEncoding.Monomorphic;
UseArrayTheory = true;
+ UseAbstractInterpretation = false;
}
}
|