diff options
Diffstat (limited to 'Source/GPUVerify/Main.cs')
| -rw-r--r-- | Source/GPUVerify/Main.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/GPUVerify/Main.cs b/Source/GPUVerify/Main.cs index 1be30dc9..cf1aaf70 100644 --- a/Source/GPUVerify/Main.cs +++ b/Source/GPUVerify/Main.cs @@ -58,13 +58,15 @@ namespace GPUVerify Environment.Exit(1);
}
+ Microsoft.Boogie.CommandLineOptions.Clo.DoModSetAnalysis = true;
+
int errorCount = program.Resolve();
if (errorCount != 0)
{
Console.WriteLine("{0} name resolution errors detected in {1}", errorCount, CommandLineOptions.inputFiles[CommandLineOptions.inputFiles.Count - 1]);
Environment.Exit(1);
}
-
+
errorCount = program.Typecheck();
if (errorCount != 0)
|