Debug
AnyCPU
9.0.30729
2.0
{63400D1F-05B2-453E-9592-1EAB74B2C9CC}
Exe
Properties
Dafny
Dafny
v4.0
512
0
true
..\InterimKey.snk
3.5
publish\
true
Disk
false
Foreground
7
Days
false
false
true
0
1.0.0.%2a
false
false
true
true
full
false
..\..\Binaries\
DEBUG;TRACE
prompt
4
True
False
True
False
False
False
False
False
False
False
False
True
False
False
False
Full
%28none%29
AllRules.ruleset
pdbonly
true
bin\Release\
TRACE
prompt
4
AllRules.ruleset
False
..\AbsInt\bin\Debug\AbsInt.dll
False
..\AIFramework\bin\debug\AIFramework.dll
False
..\Core\bin\Debug\Core.dll
False
..\..\Binaries\ParserHelper.dll
False
..\VCGeneration\bin\debug\VCGeneration.dll
{FE44674A-1633-4917-99F4-57635E6FA740}
DafnyPipeline
False
.NET Framework 3.5 SP1 Client Profile
false
False
.NET Framework 3.5 SP1
true
False
Windows Installer 3.1
true