From 4e443093fa3e0f17ec0525226bd4075cf18feb18 Mon Sep 17 00:00:00 2001
From: codeplexbot <unknown>
Date: Thu, 19 Aug 2010 05:36:03 +0000
Subject: Boogie build succeeded

---
 _admin/Boogie/aste/summary.log | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log
index 5b39f240..5eee4fde 100644
--- a/_admin/Boogie/aste/summary.log
+++ b/_admin/Boogie/aste/summary.log
@@ -1,18 +1,19 @@
-# Aste started: 2010-08-17 07:00:04
+# Aste started: 2010-08-19 07:00:04
 # Host id: Boogiebox
-# [2010-08-17 07:02:11] SpecSharp revision: 55320
-# [2010-08-17 07:03:13] Boogie revision: 56468
-# [2010-08-17 07:03:36] SscBoogie revision: 56316
-[2010-08-17 07:04:10] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
+# [2010-08-19 07:02:09] SpecSharp revision: 55320
+# [2010-08-19 07:03:07] Boogie revision: 56553
+# [2010-08-19 07:03:33] SscBoogie revision: 56316
+[2010-08-19 07:04:08] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
 
     warning CS1668
     warning CS1668
-[2010-08-17 07:05:30] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
+[2010-08-19 07:05:29] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
 
     D:\Temp\aste\Boogie\Source\VCExpr\VCExprAST.cs(1473,16): warning CS0659: 'Microsoft.Boogie.VCExprAST.VCExprCustomOp' overrides Object.Equals(object o) but does not override Object.GetHashCode()

     D:\Temp\aste\Boogie\Source\VCExpr\VCExprAST.cs(662,7): warning CS0162: Unreachable code detected

     D:\Temp\aste\Boogie\Source\VCExpr\VCExprASTPrinter.cs(46,7): warning CS0162: Unreachable code detected

-    D:\Temp\aste\Boogie\Source\VCGeneration\VC.cs(4358,7): warning CS0162: Unreachable code detected

+    D:\Temp\aste\Boogie\Source\VCGeneration\VC.cs(1933,56): warning CS0168: The variable 'e' is declared but never used

+    D:\Temp\aste\Boogie\Source\VCGeneration\VC.cs(4465,7): warning CS0162: Unreachable code detected

     D:\Temp\aste\Boogie\Source\VCGeneration\VC.cs(707,15): warning CS0162: Unreachable code detected

     D:\Temp\aste\Boogie\Source\VCGeneration\VCDoomed.cs(741,7): warning CS0162: Unreachable code detected

     D:\Temp\aste\Boogie\Source\VCGeneration\VCDoomed.cs(1083,11): warning CS0162: Unreachable code detected

@@ -41,6 +42,7 @@
     warning CS0659
     warning CS0162
     warning CS0162
+    warning CS0168
     warning CS0162
     warning CS0162
     warning CS0162
@@ -67,7 +69,7 @@
     warning CS0436
     warning CS0436
     warning CS0436
-[2010-08-17 07:05:37] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Dafny.sln /Build Debug
+[2010-08-19 07:05:36] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Dafny.sln /Build Debug
 
     D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(760,18): warning CS0168: The variable 's' is declared but never used

     D:\Temp\aste\Boogie\Source\Dafny\Parser.cs(1340,72): warning CS0168: The variable 'id' is declared but never used

@@ -101,5 +103,5 @@
     warning CS0436
     warning CS0436
     warning CS0436
-[2010-08-17 07:34:33] 0 out of 27 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
-# [2010-08-17 07:36:16] Released nightly of Boogie
+[2010-08-19 07:34:36] 0 out of 27 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
+# [2010-08-19 07:36:24] Released nightly of Boogie
-- 
cgit v1.2.3