Debug AnyCPU 9.0.30729 2.0 {ACCC0156-0921-43ED-8F67-AD8BDC8CDE31} Library Properties CodeContractsExtender CodeContractsExtender v4.0 512 true ..\InterimKey.snk 1 3.5 publish\ true Disk false Foreground 7 Days false false true 0 1.0.0.%2a false false true Client true full false bin\Debug\ DEBUG;TRACE prompt 4 False 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 true bin\z3apidebug\ DEBUG;TRACE full AnyCPU true GlobalSuppressions.cs prompt Migrated rules for CodeContractsExtender.ruleset true 3.5 3.5 3.5 version.cs False .NET Framework 3.5 SP1 Client Profile false False .NET Framework 3.5 SP1 true False Windows Installer 3.1 true