Debug AnyCPU 10.0.20305 2.0 {82b43b9b-a64c-4715-b499-d71e9ca2bd60};{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC} {6E9A5E14-0763-471C-A129-80A879D9E7BA} Library Properties DafnyLanguage DafnyLanguageService v4.5 512 false 11.0 4.0 0 true full false ..\..\Binaries\ DEBUG;TRACE prompt 4 True False True False False False False False False False False False False False False True False False True True False False True Full Build 0 false False AllRules.ruleset pdbonly true ..\..\Binaries\ TRACE prompt 4 false False ..\..\..\boogie\Binaries\AbsInt.dll False ..\..\..\boogie\Binaries\Basetypes.dll False ..\..\..\boogie\Binaries\CodeContractsExtender.dll False ..\..\..\boogie\Binaries\Core.dll ..\..\Binaries\Dafny.exe False False ..\..\Binaries\DafnyPipeline.dll False ..\..\..\boogie\Binaries\Doomed.dll False False ..\..\..\boogie\Binaries\ExecutionEngine.dll False ..\..\..\boogie\Binaries\Graph.dll False ..\..\..\boogie\Binaries\Houdini.dll False False False True False False False False False ..\..\..\boogie\Binaries\Model.dll False ..\..\..\boogie\Binaries\ParserHelper.dll False ..\..\..\boogie\Binaries\Provers.SMTLib.dll False False ..\..\..\boogie\Binaries\VCExpr.dll False ..\..\..\boogie\Binaries\VCGeneration.dll true true true Designer 10.0 $(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion) cd copy /y "..\..\boogie\Binaries\UnivBackPred2.smt2" "$(ProjectDir)" copy /y "..\Binaries\DafnyPrelude.bpl" "$(ProjectDir)" copy /y "..\Binaries\DafnyRuntime.cs" "$(ProjectDir)"