diff options
| author |  codeplexbot <unknown> | 2010-07-06 15:30:25 +0000 |
|---|---|---|
| committer | codeplexbot <unknown> | 2010-07-06 15:30:25 +0000 |
| commit | a2844f2e24d7e90ba8fc2f0307a02d6ba68f4c7f (patch) | |
| tree | 4fbe0369c773b7af0ca185f0ea0b353a2dddc989 /_admin/Boogie | |
| parent | 5d8501226867402a6b36f69e582c7724c57c6005 (diff) | |
[Aste] Added summary.log
Diffstat (limited to '_admin/Boogie')
| -rw-r--r-- | _admin/Boogie/aste/summary.log | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log new file mode 100644 index 00000000..5e1ac1ac --- /dev/null +++ b/_admin/Boogie/aste/summary.log @@ -0,0 +1,11 @@ +# Aste started: 2010-07-06 17:02:54
+# Host id: Boogiebox
+# [2010-07-06 17:02:57] SpecSharp revision: 54390
+# [2010-07-06 17:03:01] Boogie revision: 54845
+# [2010-07-06 17:03:04] SscBoogie revision: 54839
+[2010-07-06 17:03:27] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
+
+ warning CS1668
+ warning CS1668
+[2010-07-06 17:29:11] 0 out of 24 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
+# [2010-07-06 17:30:46] Released nightly of Boogie
|