diff options
author | codeplexbot <unknown> | 2011-03-22 15:11:31 +0000 |
---|---|---|
committer | codeplexbot <unknown> | 2011-03-22 15:11:31 +0000 |
commit | d4c3b4a0a21f35adf8f6606d389b9970dad5e1ad (patch) | |
tree | 260bcc217809657fbb5454bf4816ee1a93ccf0e2 /_admin/Boogie/aste/summary.log | |
parent | fdf297ed5b2a2b2678bb3350526f53812496d630 (diff) |
Boogie build succeeded
Diffstat (limited to '_admin/Boogie/aste/summary.log')
-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 aaf9a7d6..feed1e39 100644 --- a/_admin/Boogie/aste/summary.log +++ b/_admin/Boogie/aste/summary.log @@ -1,9 +1,9 @@ -# Aste started: 2011-03-22 15:47:00
+# Aste started: 2011-03-22 16:09:49
# Host id: Boogiebox
-# [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
+# [2011-03-22 16:09:49] SpecSharp revision: be16864f62f1
+# [2011-03-22 16:09:49] SscBoogie revision: be16864f62f1
+# [2011-03-22 16:09:52] Boogie revision: 64222
+[2011-03-22 16:11:21] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Boogie.sln /Rebuild 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()
|