diff options
Diffstat (limited to 'Source/GPUVerify/Main.cs')
| -rw-r--r-- | Source/GPUVerify/Main.cs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Source/GPUVerify/Main.cs b/Source/GPUVerify/Main.cs index b70260ce..48cd8a2f 100644 --- a/Source/GPUVerify/Main.cs +++ b/Source/GPUVerify/Main.cs @@ -28,7 +28,7 @@ namespace GPUVerify if (CommandLineOptions.inputFiles.Count < 1)
{
- OnlyBoogie.ErrorWriteLine("*** Error: No input files were specified.");
+ Console.WriteLine("*** Error: No input files were specified.");
Environment.Exit(1);
}
@@ -41,7 +41,7 @@ namespace GPUVerify }
if (extension != ".gbpl")
{
- OnlyBoogie.AdvisoryWriteLine("Warning '{0}': Should only pass filename with extension .gbpl. Input must be GBoogie programs.", file);
+ Console.WriteLine("Warning '{0}': Should only pass filename with extension .gbpl. Input must be GBoogie programs.", file);
}
}
@@ -220,14 +220,14 @@ namespace GPUVerify errorCount = Parser.Parse(bplFileName, defines, out programSnippet);
if (programSnippet == null || errorCount != 0)
{
- OnlyBoogie.ErrorWriteLine("{0} parse errors detected in {1}", errorCount, bplFileName);
+ Console.WriteLine("{0} parse errors detected in {1}", errorCount, bplFileName);
okay = false;
continue;
}
}
catch (IOException e)
{
- OnlyBoogie.ErrorWriteLine("Error opening file \"{0}\": {1}", bplFileName, e.Message);
+ Console.WriteLine("Error opening file \"{0}\": {1}", bplFileName, e.Message);
okay = false;
continue;
}
|