diff options
author | codeplexbot <unknown> | 2011-03-22 14:48:05 +0000 |
---|---|---|
committer | codeplexbot <unknown> | 2011-03-22 14:48:05 +0000 |
commit | fdf297ed5b2a2b2678bb3350526f53812496d630 (patch) | |
tree | e4d1bf97b223fe1abdf5c0dd75c3ca46acf3e6a1 /_admin/Boogie | |
parent | f79be17f1f151bc07963e6d37f19d6fb5a33f48a (diff) |
Boogie build succeeded
Diffstat (limited to '_admin/Boogie')
-rw-r--r-- | _admin/Boogie/aste/summary.log | 10 |
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()
|