# Aste started: 2010-12-02 07:00:08
# Host id: Boogiebox
# [2010-12-02 07:02:17] SpecSharp revision: 60238
# [2010-12-02 07:03:24] Boogie revision: 60502
# [2010-12-02 07:03:48] SscBoogie revision: 60238
[2010-12-02 07:04:22] C:\Program Files (x86)\Microsoft Visual Studio 9.0\Common7\IDE\devenv.com SpecSharp.sln /Build DebugCommandLine

    warning CS1668
    warning CS1668
[2010-12-02 07:05:31] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Boogie.sln /Build Debug

    D:\Temp\aste\Boogie\Source\Core\AbsyType.cs(825,16): warning CS0659: 'Microsoft.Boogie.BasicType' overrides Object.Equals(object o) but does not override Object.GetHashCode()

    D:\Temp\aste\Boogie\Source\Core\AbsyType.cs(2804,16): warning CS0659: 'Microsoft.Boogie.CtorType' overrides Object.Equals(object o) but does not override Object.GetHashCode()

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(791,91): warning CS0168: The variable 'id2' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(874,98): warning CS0168: The variable 'locals' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(874,120): warning CS0168: The variable 'blocks' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1134,47): warning CS0168: The variable 'e' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1388,112): warning CS0168: The variable 'op' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1695,17): warning CS0168: The variable 'ty' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1818,36): warning CS0168: The variable 'e' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1818,53): warning CS0168: The variable 'es' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1819,27): warning CS0168: The variable 'key' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1819,40): warning CS0168: The variable 'value' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\Parser.cs(1926,23): warning CS0168: The variable 'value' is declared but never used

    D:\Temp\aste\Boogie\Source\Core\OOLongUtil.cs(109,7): warning CS0162: Unreachable code detected

    D:\Temp\aste\Boogie\Source\Core\Util.cs(21,10): warning CS0414: The field 'Microsoft.Boogie.TokenTextWriter.writerOpenedHere' is assigned but its value is never used

    D:\Temp\aste\Boogie\Source\Core\VCExp.cs(139,16): warning CS0414: The field 'Microsoft.Boogie.ProverOptions.sequenceNumber' is assigned but its value is never used

    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

    D:\Temp\aste\Boogie\Source\AbsInt\ExprFactories.cs(309,7): warning CS0162: Unreachable code detected

    warning CS0659
    warning CS0659
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0168
    warning CS0162
    warning CS0414
    warning CS0414
    warning CS0162
    warning CS0162
    warning CS0162
[2010-12-02 07:05:38] C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.com Dafny.sln /Build Debug

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(38,24): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(141,25): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(223,13): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(292,25): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(346,23): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(377,44): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(491,76): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(542,55): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    D:\Temp\aste\Boogie\Source\DafnyDriver\DafnyDriver.cs(676,7): warning CS0436: The type 'cce' in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs' conflicts with the imported type 'cce' in 'd:\temp\aste\Boogie\Source\Dafny\bin\Debug\DafnyPipeline.dll'. Using the type defined in 'D:\Temp\aste\Boogie\Source\DafnyDriver\cce.cs'.

    warning CS0436
    warning CS0436
    warning CS0436
    warning CS0436
    warning CS0436
    warning CS0436
    warning CS0436
    warning CS0436
    warning CS0436
[2010-12-02 07:21:42] 0 out of 29 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
# [2010-12-02 07:23:17] Released nightly of Boogie