From 11e5d0540d8f787beba021a67514a463459ea464 Mon Sep 17 00:00:00 2001 From: codeplexbot Date: Thu, 22 Jul 2010 15:56:53 +0000 Subject: Boogie build succeeded, 25 test(s) failed --- _admin/Boogie/aste/summary.log | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/_admin/Boogie/aste/summary.log b/_admin/Boogie/aste/summary.log index f78b790c..6f40fb81 100644 --- a/_admin/Boogie/aste/summary.log +++ b/_admin/Boogie/aste/summary.log @@ -1,13 +1,13 @@ -# Aste started: 2010-07-22 07:00:06 +# Aste started: 2010-07-22 17:46:11 # Host id: Boogiebox -# [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 +# [2010-07-22 17:48:18] SpecSharp revision: 55320 +# [2010-07-22 17:49:14] Boogie revision: 55434 +# [2010-07-22 17:49:38] SscBoogie revision: 55325 +[2010-07-22 17:50:01] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine warning CS1668 warning CS1668 -[2010-07-22 07:05:47] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com Boogie.sln /Build Debug +[2010-07-22 17:51:44] 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,9 +15,10 @@ 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. + 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 -[2010-07-22 07:09:13] 25 out of 25 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed +[2010-07-22 17:55:07] 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 +# [2010-07-22 17:56:45] Released nightly of Boogie -- cgit v1.2.3