diff options
Diffstat (limited to 'Source/GPUVerify/CommandLineOptions.cs')
-rw-r--r-- | Source/GPUVerify/CommandLineOptions.cs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Source/GPUVerify/CommandLineOptions.cs b/Source/GPUVerify/CommandLineOptions.cs index 812d9f20..ecbee795 100644 --- a/Source/GPUVerify/CommandLineOptions.cs +++ b/Source/GPUVerify/CommandLineOptions.cs @@ -14,6 +14,7 @@ namespace GPUVerify public static List<string> inputFiles = new List<string>();
public static string outputFile = null;
+ public static string formulaSkeletonsFile = null;
public static int Parse(string[] args)
{
@@ -44,6 +45,17 @@ namespace GPUVerify outputFile = afterColon;
break;
+ case "-generateFormulaSkeletons":
+ case "/generateFormulaSkeletons":
+ if (!hasColonArgument)
+ {
+ Console.WriteLine("Error: filename expected after " + beforeColon + " argument");
+ Environment.Exit(1);
+ }
+ Debug.Assert(afterColon != null);
+ formulaSkeletonsFile = afterColon;
+ break;
+
default:
inputFiles.Add(args[i]);
break;
|