diff options
| author |  codeplexbot <unknown> | 2011-02-27 06:22:32 +0000 |
|---|---|---|
| committer | codeplexbot <unknown> | 2011-02-27 06:22:32 +0000 |
| commit | 299109e6e38ebac40c3372adf48d06d174d92eb1 (patch) | |
| tree | ae2b0bd19a4ed7b185ecc6110d5b75e43c9145c0 /_admin | |
| parent | 7428deb21f108ea296501001bdc8eef92b281a5a (diff) | |
Boogie build succeeded, 5 test(s) failed
Diffstat (limited to '_admin')
| -rw-r--r-- | _admin/Boogie/aste/summary.log | 16 |
1 files changed, 8 insertions, 8 deletions
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
|