diff options
author | wuestholz <unknown> | 2014-10-13 16:04:14 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-10-13 16:04:14 +0200 |
commit | ee75fd2e508d3da48923888833f63ae96ad9b408 (patch) | |
tree | d5798356054c9a685ece03d8c87fb8f89f558fff /Source/Core/CommandLineOptions.cs | |
parent | f9cfc76c9942b8ef9809c9a7dbb1aa3cb95b2029 (diff) |
Add '/traceCaching' flag.
Diffstat (limited to 'Source/Core/CommandLineOptions.cs')
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index e9e6b60e..60e0bdc0 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -389,6 +389,7 @@ namespace Microsoft.Boogie { public bool Trace = false;
public bool TraceTimes = false;
public bool TraceProofObligations = false;
+ public bool TraceCaching = false;
public bool NoResolve = false;
public bool NoTypecheck = false;
public bool OverlookBoogieTypeErrors = false;
@@ -1392,6 +1393,7 @@ namespace Microsoft.Boogie { ps.CheckBooleanFlag("wait", ref Wait) ||
ps.CheckBooleanFlag("trace", ref Trace) ||
ps.CheckBooleanFlag("traceTimes", ref TraceTimes) ||
+ ps.CheckBooleanFlag("traceCaching", ref TraceCaching) ||
ps.CheckBooleanFlag("tracePOs", ref TraceProofObligations) ||
ps.CheckBooleanFlag("noResolve", ref NoResolve) ||
ps.CheckBooleanFlag("noTypecheck", ref NoTypecheck) ||
|