Debug
AnyCPU
8.0.30703
2.0
{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}
Library
Properties
Microsoft.Boogie
Model
v4.0
512
Client
0
true
full
false
..\..\Binaries\
DEBUG;TRACE
prompt
4
pdbonly
true
..\..\Binaries\
TRACE
prompt
4
true
..\InterimKey.snk
true
..\..\Binaries\
DEBUG;TRACE
full
AnyCPU
bin\Debug\Model.dll.CodeAnalysisLog.xml
true
GlobalSuppressions.cs
prompt
MinimumRecommendedRules.ruleset
;C:\Program Files (x86)\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets
;C:\Program Files (x86)\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules
True
False
True
False
False
False
False
False
False
False
False
False
True
False
False
False
False
Full
Build
0
4
false
true
bin\QED\
DEBUG;TRACE
full
AnyCPU
prompt
MinimumRecommendedRules.ruleset