Debug AnyCPU 8.0.30703 2.0 {FCD3AC7F-9DFD-46C8-AB1E-09F0B0F16DC5} Library Properties ParserHelper BoogieParserHelper v4.0 512 Client 1 true full false ..\..\Binaries\ TRACE;DEBUG prompt 4 False True False True False True True True True True True True False False ..\..\baseline.xml Full %28none%29 pdbonly true bin\Release\ TRACE prompt 4 true ..\InterimKey.snk true bin\Checked\ TRACE;DEBUG full AnyCPU ..\..\Binaries\ParserHelper.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\ TRACE;DEBUG full AnyCPU prompt MinimumRecommendedRules.ruleset version.cs {ACCC0156-0921-43ED-8F67-AD8BDC8CDE31} CodeContractsExtender