summaryrefslogtreecommitdiff
path: root/_admin/Boogie
diff options
context:
space:
mode:
authorGravatar codeplexbot <unknown>2010-07-22 05:11:01 +0000
committerGravatar codeplexbot <unknown>2010-07-22 05:11:01 +0000
commit4091e5d2e62ce8d048c21598fc36542820d282eb (patch)
treee4e25159153e0b3f038652d1dc933a2f2ed85959 /_admin/Boogie
parent8d4941a93f581250da6a6d170a5f8e4cf8aec9ea (diff)
Boogie build succeeded, 25 test(s) failed
Diffstat (limited to '_admin/Boogie')
-rw-r--r--_admin/Boogie/aste/summary.log19
1 files changed, 9 insertions, 10 deletions
diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log
index 3fcf4a27..f78b790c 100644
--- a/_admin/Boogie/aste/summary.log
+++ b/_admin/Boogie/aste/summary.log
@@ -1,13 +1,13 @@
-# Aste started: 2010-07-21 07:00:06
+# Aste started: 2010-07-22 07:00:06
# Host id: Boogiebox
-# [2010-07-21 07:02:06] SpecSharp revision: 55320
-# [2010-07-21 07:02:59] Boogie revision: 55322
-# [2010-07-21 07:03:23] SscBoogie revision: 55325
-[2010-07-21 07:03:50] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
+# [2010-07-22 07:02:14] SpecSharp revision: 55320
+# [2010-07-22 07:03:09] Boogie revision: 55391
+# [2010-07-22 07:03:43] SscBoogie revision: 55325
+[2010-07-22 07:04:06] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine
warning CS1668
warning CS1668
-[2010-07-21 07:05:34] [Error] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
+[2010-07-22 07:05:47] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug
D:\Temp\aste\Boogie\Source\AbsInt\ExprFactories.cs(111,7): warning CS0162: Unreachable code detected
D:\Temp\aste\Boogie\Source\AbsInt\ExprFactories.cs(290,7): warning CS0162: Unreachable code detected
@@ -15,10 +15,9 @@
D:\Temp\aste\Boogie\Source\AbsInt\LoopInvariantsOnDemand.cs(44,7): warning CC1032: Method 'Microsoft.Boogie.AbstractInterpretation.FreeVariablesVisitor.Default(optional(Microsoft.Contracts.NonNullType) Microsoft.AbstractInterpretationFramework.IExpr)' overrides 'Microsoft.AbstractInterpretationFramework.ExprVisitor.Default(optional(Microsoft.Contracts.NonNullType) Microsoft.AbstractInterpretationFramework.IExpr)', thus cannot add Requires.
D:\Temp\aste\Boogie\Source\AbsInt\LoopInvariantsOnDemand.cs(65,7): warning CC1032: Method 'Microsoft.Boogie.AbstractInterpretation.FreeVariablesVisitor.VisitFunApp(optional(Microsoft.Contracts.NonNullType) Microsoft.AbstractInterpretationFramework.IFunApp)' overrides 'Microsoft.AbstractInterpretationFramework.ExprVisitor.VisitFunApp(optional(Microsoft.Contracts.NonNullType) Microsoft.AbstractInterpretationFramework.IFunApp)', thus cannot add Requires.
D:\Temp\aste\Boogie\Source\AbsInt\LoopInvariantsOnDemand.cs(74,7): warning CC1032: Method 'Microsoft.Boogie.AbstractInterpretation.FreeVariablesVisitor.VisitFunction(optional(Microsoft.Contracts.NonNullType) Microsoft.AbstractInterpretationFramework.IFunction)' overrides 'Microsoft.AbstractInterpretationFramework.ExprVisitor.VisitFunction(optional(Microsoft.Contracts.NonNullType) Microsoft.AbstractInterpretationFramework.IFunction)', thus cannot add Requires.
- error CS1504: Source file 'D:\Temp\aste\Boogie\Source\Provers\Z3\cce.cs' could not be opened ('Unspecified error ')
- C:\Windows\Microsoft.NET\Framework\v3.5\Microsoft.Common.targets : warning MSB3245: Could not resolve this reference. Could not locate the assembly "Z3". Check to make sure the assembly exists on disk. If this reference is required by your code, you may get compilation errors.
warning CS0162
warning CS0162
warning CS0162
- 1 error
- 1 failed
+[2010-07-22 07:09:13] 25 out of 25 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
+['test0', 'test1', 'test2', 'test7', 'test20', 'test21', 'aitest0', 'aitest1', 'aitest9', 'lock', 'test13', 'inline', 'textbook', 'test15', 'bitvectors', 'smoke', 'test16', 'dafny0', 'dafny1', 'havoc0', 'VSI-Benchmarks', 'vacid0', 'livevars', 'lazyinline', 'stratifiedinline']
+# [2010-07-22 07:10:51] Released nightly of Boogie