summaryrefslogtreecommitdiff
path: root/_admin/Boogie
diff options
context:
space:
mode:
authorGravatar codeplexbot <unknown>2011-03-22 14:48:05 +0000
committerGravatar codeplexbot <unknown>2011-03-22 14:48:05 +0000
commitfdf297ed5b2a2b2678bb3350526f53812496d630 (patch)
treee4d1bf97b223fe1abdf5c0dd75c3ca46acf3e6a1 /_admin/Boogie
parentf79be17f1f151bc07963e6d37f19d6fb5a33f48a (diff)
Boogie build succeeded
Diffstat (limited to '_admin/Boogie')
-rw-r--r--_admin/Boogie/aste/summary.log10
1 files changed, 5 insertions, 5 deletions
diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log
index 23399481..aaf9a7d6 100644
--- a/_admin/Boogie/aste/summary.log
+++ b/_admin/Boogie/aste/summary.log
@@ -1,9 +1,9 @@
-# Aste started: 2011-03-22 15:32:57
+# Aste started: 2011-03-22 15:47:00
# Host id: Boogiebox
-# [2011-03-22 15:32:57] SpecSharp revision: be16864f62f1+
-# [2011-03-22 15:32:57] SscBoogie revision: be16864f62f1+
-# [2011-03-22 15:33:00] Boogie revision: 64216
-[2011-03-22 15:33:59] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Boogie.sln /Build Checked
+# [2011-03-22 15:47:00] SpecSharp revision: be16864f62f1
+# [2011-03-22 15:47:00] SscBoogie revision: be16864f62f1
+# [2011-03-22 15:47:03] Boogie revision: 64217
+[2011-03-22 15:47:57] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Boogie.sln /Build Checked
C:\Temp\aste\Boogie\Source\Core\AbsyType.cs(823,16): warning CS0659: 'Microsoft.Boogie.BasicType' overrides Object.Equals(object o) but does not override Object.GetHashCode()
C:\Temp\aste\Boogie\Source\Core\AbsyType.cs(2802,16): warning CS0659: 'Microsoft.Boogie.CtorType' overrides Object.Equals(object o) but does not override Object.GetHashCode()