Debug AnyCPU {AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2} Exe Properties DafnyServer DafnyServer v4.5 512 Microsoft.Dafny.Server true full false ..\..\Binaries\ DEBUG;TRACE prompt 4 AnyCPU pdbonly true ..\..\Binaries\ TRACE prompt 4 true ..\..\Binaries\ DEBUG;TRACE full AnyCPU prompt AllRules.ruleset false True False True False False False False False False False False True False False False False Full Build 0 ..\..\..\boogie\Binaries\Core.dll ..\..\..\boogie\Binaries\ExecutionEngine.dll ..\..\..\boogie\Binaries\ParserHelper.dll ..\..\..\boogie\Binaries\Provers.SMTLib.dll {fe44674a-1633-4917-99f4-57635e6fa740} DafnyPipeline