diff options
| author |  codeplexbot <unknown> | 2010-08-14 11:53:48 +0000 |
|---|---|---|
| committer | codeplexbot <unknown> | 2010-08-14 11:53:48 +0000 |
| commit | 55961dc6f111db8408450c6f0e10853b6bb6a518 (patch) | |
| tree | 7916030aa12a6331fca01830edc9dfe1f71eba69 /_admin | |
| parent | 3cf0a3951a02b9a7172a30238c3ffce1e72d9d03 (diff) | |
Boogie build succeeded
Diffstat (limited to '_admin')
| -rw-r--r-- | _admin/Boogie/aste/summary.log | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log index e8d9e5bc..1b101938 100644 --- a/_admin/Boogie/aste/summary.log +++ b/_admin/Boogie/aste/summary.log @@ -1,13 +1,13 @@ -# Aste started: 2010-08-13 07:00:04
+# Aste started: 2010-08-14 13:17:34
# Host id: Boogiebox
-# [2010-08-13 07:02:14] SpecSharp revision: 55320
-# [2010-08-13 07:03:13] Boogie revision: 56389
-# [2010-08-13 07:03:38] SscBoogie revision: 56316
-[2010-08-13 07:04:15] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
+# [2010-08-14 13:19:46] SpecSharp revision: 55320
+# [2010-08-14 13:20:45] Boogie revision: 56416
+# [2010-08-14 13:21:10] SscBoogie revision: 56316
+[2010-08-14 13:21:44] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
warning CS1668
warning CS1668
-[2010-08-13 07:05:36] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
+[2010-08-14 13:23:04] 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
@@ -67,7 +67,7 @@ warning CS0436
warning CS0436
warning CS0436
-[2010-08-13 07:05:43] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Dafny.sln /Build Debug
+[2010-08-14 13:23:11] 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,6 +101,5 @@ warning CS0436
warning CS0436
warning CS0436
-[2010-08-13 07:34:40] 1 out of 27 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
-['bitvectors']
-# [2010-08-13 07:36:25] Released nightly of Boogie
+[2010-08-14 13:52:04] 0 out of 27 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
+# [2010-08-14 13:53:48] Released nightly of Boogie
|