diff options
| author |  rustanleino <unknown> | 2011-02-03 02:06:35 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-02-03 02:06:35 +0000 |
| commit | efc42f63a6b16ca433e532adc016b519b05f5588 (patch) | |
| tree | 6b09b2c2d0e2f3c012039a811d0b598fa3b02abd /Source/BoogieDriver | |
| parent | bede272d5a04997e8c6dd7d933fe2f953c0f5cd4 (diff) | |
Dafny: removed CEV instrumentation
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index ab930f22..6b8cf7ca 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -247,22 +247,8 @@ namespace Microsoft.Boogie { }
if (error) {
ErrorWriteLine(s);
- if (CommandLineOptions.Clo.CEVPrint) {
- TextWriter mw = VC.VCGen.ErrorReporter.ModelWriter;
- mw.WriteLine("BEGINNING_OF_ERROR");
- mw.WriteLine(s);
- mw.WriteLine("END_OF_ERROR");
- mw.Flush();
- }
} else {
Console.WriteLine(s);
- if (CommandLineOptions.Clo.CEVPrint) {
- TextWriter mw = VC.VCGen.ErrorReporter.ModelWriter;
- mw.WriteLine("BEGINNING_OF_RELATED_INFO");
- mw.WriteLine(s);
- mw.WriteLine("END_OF_RELATED_INFO");
- mw.Flush();
- }
}
}
|