diff options
| author |  codeplexbot <unknown> | 2010-07-16 16:40:31 +0000 |
|---|---|---|
| committer | codeplexbot <unknown> | 2010-07-16 16:40:31 +0000 |
| commit | 161fbf1043d31ee1af493c8997e8be528a46bfa8 (patch) | |
| tree | a4e646d40915733a60c47577331def23892fe2f0 | |
| parent | 5476d7a5710ee060cae6abf64b83bce3fee64e11 (diff) | |
Boogie build failed
| -rw-r--r-- | _admin/Boogie/aste/summary.log | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log index 602392bd..e696af47 100644 --- a/_admin/Boogie/aste/summary.log +++ b/_admin/Boogie/aste/summary.log @@ -1,7 +1,11 @@ -# Aste started: 2010-07-10 07:00:07
+# Aste started: 2010-07-16 18:08:39
# Host id: Boogiebox
-# [2010-07-10 07:00:12] SpecSharp revision: 54390
-# [2010-07-10 07:00:16] Boogie revision: 54984
-# [2010-07-10 07:00:19] SscBoogie revision: 54839
-[2010-07-10 07:26:41] 0 out of 25 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
-# [2010-07-10 07:28:22] Released nightly of Boogie
+# [2010-07-16 18:10:47] SpecSharp revision: 54390
+# [2010-07-16 18:11:43] Boogie revision: 55161
+# [2010-07-16 18:12:08] SscBoogie revision: 54839
+[2010-07-16 18:12:41] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
+
+ warning CS1668
+ warning CS1668
+[2010-07-16 18:38:36] 0 out of 25 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
+# [2010-07-16 18:40:21] Released nightly of Boogie
|