From 299109e6e38ebac40c3372adf48d06d174d92eb1 Mon Sep 17 00:00:00 2001 From: codeplexbot Date: Sun, 27 Feb 2011 06:22:32 +0000 Subject: Boogie build succeeded, 5 test(s) failed --- _admin/Boogie/aste/summary.log | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to '_admin/Boogie/aste/summary.log') diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log index 811e00f0..7b756c99 100644 --- a/_admin/Boogie/aste/summary.log +++ b/_admin/Boogie/aste/summary.log @@ -1,9 +1,9 @@ -# Aste started: 2011-02-24 07:00:12 +# Aste started: 2011-02-27 07:00:14 # Host id: Boogiebox -# [2011-02-24 07:03:06] SpecSharp revision: 62643 -# [2011-02-24 07:04:19] Boogie revision: 62851 -# [2011-02-24 07:04:54] SscBoogie revision: 62594 -[2011-02-24 07:07:02] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Boogie.sln /Build Debug +# [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 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-24 07:21:12] 4 out of 30 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed -['test15', 'lazyinline', 'stratifiedinline', 'extractloops'] -# [2011-02-24 07:22:01] Released nightly of Boogie +[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 -- cgit v1.2.3