Did some refactoring of the error reporting functionality.

1 files changed, 2 insertions, 3 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 0811236d..b740e5cf 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -66,7 +66,7 @@ namespace DafnyLanguage
       {

       }

 

-      public void WriteTrailer(int verified, int errors, int inconclusives, int timeOuts, int outOfMemories)

+      public void WriteTrailer(PipelineStatistics stats)

       {

       }

 

@@ -228,8 +228,7 @@ namespace DafnyLanguage
       if (oc == PipelineOutcome.ResolvedAndTypeChecked) {

         ExecutionEngine.EliminateDeadVariablesAndInline(program);

         ExecutionEngine.errorInformationFactory = new DafnyErrorInformationFactory();

-        int errorCount, verified, inconclusives, timeOuts, outOfMemories;

-        return ExecutionEngine.InferAndVerify(program, out errorCount, out verified, out inconclusives, out timeOuts, out outOfMemories, er, requestId);

+        return ExecutionEngine.InferAndVerify(program, new PipelineStatistics(), er, requestId);

       }

       return oc;

     }