diff options
Diffstat (limited to 'BCT/BytecodeTranslator/Program.cs')
-rw-r--r-- | BCT/BytecodeTranslator/Program.cs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs index 22b64dca..cf758611 100644 --- a/BCT/BytecodeTranslator/Program.cs +++ b/BCT/BytecodeTranslator/Program.cs @@ -69,6 +69,13 @@ namespace BytecodeTranslator { [OptionDescription("Instrument branches with unique counter values", ShortForm = "ib")]
public bool instrumentBranches = false;
+ [OptionDescription("Add free ensures that express heap monotonicity", ShortForm = "heapM")]
+ public bool monotonicHeap = false;
+
+ public enum Dereference { Assert, Assume, None, }
+ [OptionDescription("Assert/Assume on all object dereferences", ShortForm = "deref")]
+ public Dereference dereference = Dereference.Assume;
+
}
public class BCT {
|