diff options
author | Unknown <afd@afd-THINK> | 2012-08-13 17:38:01 +0100 |
---|---|---|
committer | Unknown <afd@afd-THINK> | 2012-08-13 17:38:01 +0100 |
commit | 5438a42e68bde8ef0b860d28af25acb33c9532e3 (patch) | |
tree | 25b998cc28b6bbc06017436fa2ef09e4b3e5f3c5 /Source/GPUVerify/Main.cs | |
parent | cac395ed490262542e7aca6b6cdd30f0c281d2c7 (diff) |
Some more code cleanup related to removal of the "divided" option.
Diffstat (limited to 'Source/GPUVerify/Main.cs')
-rw-r--r-- | Source/GPUVerify/Main.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/GPUVerify/Main.cs b/Source/GPUVerify/Main.cs index c6600d61..b11dfc6f 100644 --- a/Source/GPUVerify/Main.cs +++ b/Source/GPUVerify/Main.cs @@ -88,7 +88,7 @@ namespace GPUVerify return null;
}
- public static bool doit(string filename, Variable v, int a1, int a2)
+/* public static bool doit(string filename, Variable v, int a1, int a2)
{
ResolutionContext rc;
Program newProgram = parse(out rc);
@@ -121,6 +121,7 @@ namespace GPUVerify return !ri.failedToFindSecondAccess;
}
+ */
public static void parseProcessOutput()
{
|