diff options
| author |  Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-02 18:23:30 -0700 |
|---|---|---|
| committer | Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-02 18:23:30 -0700 |
| commit | 68abcafd6a654bb319738415a4d94dfa6baa3bfd (patch) | |
| tree | ccd76ad4173c6c01a9dfd6ca90ce159f07b97cb9 /Source/GPUVerify/CommandLineOptions.cs | |
| parent | b9a6a826992356259535597838204c8bfc2d9d1e (diff) | |
Added GPUVerify project
Diffstat (limited to 'Source/GPUVerify/CommandLineOptions.cs')
| -rw-r--r-- | Source/GPUVerify/CommandLineOptions.cs | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Source/GPUVerify/CommandLineOptions.cs b/Source/GPUVerify/CommandLineOptions.cs new file mode 100644 index 00000000..80dc18ef --- /dev/null +++ b/Source/GPUVerify/CommandLineOptions.cs @@ -0,0 +1,25 @@ +using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Text;
+using System.IO;
+
+namespace GPUVerify
+{
+
+ class CommandLineOptions
+ {
+
+ public static List<string> inputFiles = new List<string>();
+
+ public static int Parse(string[] args)
+ {
+ for (int i = 0; i < args.Length; i++)
+ {
+ inputFiles.Add(args[i]);
+ }
+ return 0;
+ }
+
+ }
+}
|