From a2844f2e24d7e90ba8fc2f0307a02d6ba68f4c7f Mon Sep 17 00:00:00 2001
From: codeplexbot <unknown>
Date: Tue, 6 Jul 2010 15:30:25 +0000
Subject: [Aste] Added summary.log

---
 _admin/Boogie/aste/summary.log | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 _admin/Boogie/aste/summary.log

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
-- 
cgit v1.2.3