From b74f9f8930d569bc517abc1f0f5951782e309f8b Mon Sep 17 00:00:00 2001
From: codeplexbot <unknown>
Date: Tue, 1 Mar 2011 06:22:51 +0000
Subject: Boogie build succeeded, 4 test(s) failed

---
 _admin/Boogie/aste/summary.log | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log
index 7b756c99..8cac096a 100644
--- a/_admin/Boogie/aste/summary.log
+++ b/_admin/Boogie/aste/summary.log
@@ -1,9 +1,9 @@
-# Aste started: 2011-02-27 07:00:14
+# Aste started: 2011-03-01 07:00:14
 # Host id: Boogiebox
-# [2011-02-27 07:03:02] SpecSharp revision: 62643
-# [2011-02-27 07:04:09] Boogie revision: 62916
-# [2011-02-27 07:04:41] SscBoogie revision: 62594
-[2011-02-27 07:07:20] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
+# [2011-03-01 07:03:06] SpecSharp revision: 62643
+# [2011-03-01 07:04:14] Boogie revision: 62984
+# [2011-03-01 07:04:46] SscBoogie revision: 62594
+[2011-03-01 07:07:25] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
 
     D:\Temp\aste\Boogie\Source\Core\AbsyType.cs(825,16): warning CS0659: 'Microsoft.Boogie.BasicType' overrides Object.Equals(object o) but does not override Object.GetHashCode()

     D:\Temp\aste\Boogie\Source\Core\AbsyType.cs(2804,16): warning CS0659: 'Microsoft.Boogie.CtorType' overrides Object.Equals(object o) but does not override Object.GetHashCode()

@@ -17,6 +17,6 @@
     warning CS0162
     warning CS0162
     warning CS0162
-[2011-02-27 07:21:33] 5 out of 30 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
-['test15', 'dafny0', 'lazyinline', 'stratifiedinline', 'extractloops']
-# [2011-02-27 07:22:22] Released nightly of Boogie
+[2011-03-01 07:21:50] 4 out of 30 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
+['test15', 'lazyinline', 'stratifiedinline', 'extractloops']
+# [2011-03-01 07:22:41] Released nightly of Boogie
-- 
cgit v1.2.3