From 216c71366e6fff4e225b68ef6ff69035c9542b4a Mon Sep 17 00:00:00 2001 From: Valentin Wüstholz Date: Mon, 18 May 2015 18:19:13 +0200 Subject: Add some experimental support for diagnosing timeouts. --- Source/Core/CommandLineOptions.cs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Source/Core') diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index dbbb6fd0..03545cbf 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -557,6 +557,7 @@ namespace Microsoft.Boogie { public bool UseSmtOutputFormat = false; public bool WeakArrayTheory = false; public bool UseLabels = true; + public bool RunDiagnosticsOnTimeout = false; public bool SIBoolControlVC = false; public bool MonomorphicArrays { get { @@ -1585,6 +1586,7 @@ namespace Microsoft.Boogie { ps.CheckBooleanFlag("weakArrayTheory", ref WeakArrayTheory) || ps.CheckBooleanFlag("doModSetAnalysis", ref DoModSetAnalysis) || ps.CheckBooleanFlag("doNotUseLabels", ref UseLabels, false) || + ps.CheckBooleanFlag("runDiagnosticsOnTimeout", ref RunDiagnosticsOnTimeout) || ps.CheckBooleanFlag("boolControlVC", ref SIBoolControlVC, true) || ps.CheckBooleanFlag("contractInfer", ref ContractInfer) || ps.CheckBooleanFlag("explainHoudini", ref ExplainHoudini) || -- cgit v1.2.3