Updated the frame files to work with the latest Coco/R. This entails *not* having them in this repository because of license issues. Instead, they must be downloaded from http://boogiepartners.codeplex.com/ and then copied into the appropriate directories.

Lots of code changes to compensate for the new frame files.

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/DafnyDriver/DafnyDriver.ssc b/Source/DafnyDriver/DafnyDriver.ssc
index 8920db94..d9d9a6be 100644
--- a/Source/DafnyDriver/DafnyDriver.ssc
+++ b/Source/DafnyDriver/DafnyDriver.ssc
@@ -350,7 +350,7 @@ namespace Microsoft.Boogie
     /// </summary>

     static Program ParseBoogieProgram(List<string!>! fileNames, bool suppressTraceOutput)

     {

-      BoogiePL.Errors.count = 0;

+      //BoogiePL.Errors.count = 0;

       Program program = null;

       bool okay = true;

       foreach (string bplFileName in fileNames) {

@@ -366,9 +366,9 @@ namespace Microsoft.Boogie
         Program programSnippet;

         int errorCount;

         try {

-          errorCount = BoogiePL.Parser.Parse(bplFileName, out programSnippet);

+          errorCount = Microsoft.Boogie.Parser.Parse(bplFileName, out programSnippet);

           if (programSnippet == null || errorCount != 0) {

-            Console.WriteLine("{0} parse errors detected in {1}", BoogiePL.Errors.count, bplFileName);

+            Console.WriteLine("{0} parse errors detected in {1}", errorCount, bplFileName);

             okay = false;

             continue;

           }