Debug
AnyCPU
{EAA5EB79-D475-4601-A59B-825C191CD25F}
Library
Properties
ExecutionEngine
ExecutionEngine
v4.0
512
true
..\InterimKey.snk
12.0.0
2.0
0
true
full
false
..\..\Binaries\
DEBUG;TRACE
prompt
4
False
False
True
False
False
False
True
True
True
True
True
True
True
True
False
True
False
True
False
False
False
False
True
False
True
True
True
False
False
True
False
False
True
Full
DoNotBuild
0
pdbonly
true
..\..\Binaries\
TRACE
prompt
4
False
False
True
False
False
False
True
True
False
False
False
True
True
False
False
False
True
False
True
True
False
False
True
False
Full
DoNotBuild
0
true
bin\QED\
TRACE;DEBUG;QED
full
AnyCPU
prompt
MinimumRecommendedRules.ruleset
{0EFA3E43-690B-48DC-A72C-384A3EA7F31F}
AbsInt
{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}
Basetypes
{ACCC0156-0921-43ED-8F67-AD8BDC8CDE31}
CodeContractsExtender
{d07b8e38-e172-47f4-ad02-0373014a46d3}
Concurrency
{B230A69C-C466-4065-B9C1-84D80E76D802}
Core
{884386A3-58E9-40BB-A273-B24976775553}
Doomed
{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}
Graph
{CF41E903-78EB-43BA-A355-E5FEB5ECECD4}
Houdini
{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}
Model
{FCD3AC7F-9DFD-46C8-AB1E-09F0B0F16DC5}
ParserHelper
{AFAA5CE1-C41B-44F0-88F8-FD8A43826D44}
Predication
{E1F10180-C7B9-4147-B51F-FA1B701966DC}
VCGeneration