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.0
512
false
true
full
false
bin\Debug\
DEBUG;TRACE
prompt
4
pdbonly
true
bin\Release\
TRACE
prompt
4
False
..\..\..\..\Binaries\AbsInt.dll
False
..\..\..\..\Binaries\AIFramework.dll
False
..\..\..\..\Binaries\Basetypes.dll
False
..\..\..\..\Binaries\CodeContractsExtender.dll
False
..\..\..\..\Binaries\Core.dll
False
..\..\..\..\Binaries\DafnyPipeline.dll
..\..\..\..\Binaries\Graph.dll
..\..\..\..\Binaries\Houdini.dll
..\..\..\..\Binaries\Model.dll
..\..\..\..\Binaries\ParserHelper.dll
..\..\..\..\Binaries\Provers.Z3.dll
..\..\..\..\Binaries\Provers.SMTLib.dll
..\..\..\..\Binaries\VCExpr.dll
False
..\..\..\..\Binaries\VCGeneration.dll
False
False
False
True
False
False
False
False
true
Always
Designer
true
Always
cd
copy ..\..\..\..\..\..\Binaries\DafnyPrelude.bpl $(ProjectDir)
copy ..\..\..\..\..\..\Binaries\UnivBackPred2.smt2 $(ProjectDir)