diff options
Diffstat (limited to '_admin/Boogie/aste/summary.log')
| -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
|