diff options
| author |  codeplexbot <unknown> | 2010-08-08 05:29:34 +0000 |
|---|---|---|
| committer | codeplexbot <unknown> | 2010-08-08 05:29:34 +0000 |
| commit | e308fe8b4ea5e3a698ac0c843d388f95d32d3bde (patch) | |
| tree | de65b170fdebdc88cb9d124b0ba1aacb3256e73d /_admin | |
| parent | a2d741c63c11fa1036aaf5dda14a1763d507bee5 (diff) | |
Boogie build succeeded, 1 test(s) failed
Diffstat (limited to '_admin')
| -rw-r--r-- | _admin/Boogie/aste/summary.log | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log index 2acc4bf2..cd86ac7c 100644 --- a/_admin/Boogie/aste/summary.log +++ b/_admin/Boogie/aste/summary.log @@ -1,13 +1,13 @@ -# Aste started: 2010-08-05 07:00:08
+# Aste started: 2010-08-08 07:00:02
# Host id: Boogiebox
-# [2010-08-05 07:02:20] SpecSharp revision: 55320
-# [2010-08-05 07:03:20] Boogie revision: 56101
-# [2010-08-05 07:03:53] SscBoogie revision: 55325
-[2010-08-05 07:04:19] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
+# [2010-08-08 07:01:46] SpecSharp revision: 55320
+# [2010-08-08 07:02:44] Boogie revision: 56211
+# [2010-08-08 07:03:07] SscBoogie revision: 55325
+[2010-08-08 07:03:31] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
warning CS1668
warning CS1668
-[2010-08-05 07:05:47] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
+[2010-08-08 07:04:57] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
D:\Temp\aste\Boogie\Source\VCGeneration\VC.cs(4223,7): warning CS0162: Unreachable code detected
D:\Temp\aste\Boogie\Source\VCGeneration\VC.cs(720,15): warning CS0162: Unreachable code detected
@@ -61,7 +61,7 @@ warning CS0436
warning CS0436
warning CS0436
-[2010-08-05 07:05:54] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Dafny.sln /Build Debug
+[2010-08-08 07:05:03] 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
@@ -95,5 +95,6 @@ warning CS0436
warning CS0436
warning CS0436
-[2010-08-05 07:29:38] 0 out of 26 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
-# [2010-08-05 07:31:18] Released nightly of Boogie
+[2010-08-08 07:28:17] 1 out of 26 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
+['bitvectors']
+# [2010-08-08 07:29:55] Released nightly of Boogie
|