diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-05-22 23:53:24 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-05-22 23:53:24 +0100 |
| commit | 819838e9200d44d07f49c6b2428cfce1c17f07e6 (patch) | |
| tree | 522382aff5d70ff39d27a19bc8448decf50bdc19 | |
| parent | 5ce14c595b3dca81d4cde68cafeebdfa43ec9d01 (diff) | |
Boogie: document /typeEncoding:m
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 3e7fd79e..35ceeeae 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -1559,6 +1559,7 @@ namespace Microsoft.Boogie { n = none (unsound)
p = predicates (default)
a = arguments
+ m = monomorphic
/monomorphize
Do not abstract map types in the encoding (this is an
experimental feature that will not do the right thing if
|