diff options
| author |  codeplexbot <unknown> | 2010-07-10 05:28:31 +0000 |
|---|---|---|
| committer | codeplexbot <unknown> | 2010-07-10 05:28:31 +0000 |
| commit | c74e37d3cf7845443928d4f7a4cbcedefc2e33fe (patch) | |
| tree | f1c65900ae45f5b5c9f2915869f2fba48f002c9e | |
| parent | 19c46de40c04184d52de0cbd147203675f9621f1 (diff) | |
[Aste] Success: Committing summary due to changes.
| -rw-r--r-- | _admin/Boogie/aste/summary.log | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log index 72eca7f3..602392bd 100644 --- a/_admin/Boogie/aste/summary.log +++ b/_admin/Boogie/aste/summary.log @@ -1,8 +1,7 @@ -# Aste started: 2010-07-08 01:00:03
+# Aste started: 2010-07-10 07:00:07
# Host id: Boogiebox
-# [2010-07-08 01:00:08] SpecSharp revision: 54390
-# [2010-07-08 01:00:24] Boogie revision: 54890
-# [2010-07-08 01:00:30] SscBoogie revision: 54839
-[2010-07-08 01:25:52] 1 out of 25 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
-['stratifiedinline']
-# [2010-07-08 01:27:38] Released nightly of Boogie
+# [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
|