diff options
| author |  Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-29 14:28:43 -0700 |
|---|---|---|
| committer | Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-29 14:28:43 -0700 |
| commit | 2cb6642bd1d19107d94bd47724557481d898e8f3 (patch) | |
| tree | e0a0cc93c9b02fe9ecb5423a52f04bbbb5c5e429 /Source/GPUVerify | |
| parent | b48f420ce745015b4bef3df130aac27b42c396a8 (diff) | |
Made use of Houdini optional
Diffstat (limited to 'Source/GPUVerify')
| -rw-r--r-- | Source/GPUVerify/CommandLineOptions.cs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Source/GPUVerify/CommandLineOptions.cs b/Source/GPUVerify/CommandLineOptions.cs index 7c667c63..4c516fb7 100644 --- a/Source/GPUVerify/CommandLineOptions.cs +++ b/Source/GPUVerify/CommandLineOptions.cs @@ -20,6 +20,7 @@ namespace GPUVerify public static bool NewRaceDetectionMethod = false;
public static bool OnlyDivergence = false;
public static bool FullAbstraction;
+ public static bool Inference;
public static int Parse(string[] args)
{
@@ -90,6 +91,12 @@ namespace GPUVerify break;
+ case "-inference":
+ case "/inference":
+ Inference = true;
+
+ break;
+
default:
inputFiles.Add(args[i]);
break;
|