Code Contracts
Discuss and provide feedback on Code Contracts.
Filtre et triUtilisez ces options pour affiner la liste des discussions.
- 135666

Allow throwing a specific exception when contract fails?
winSharp93 mardi 12 mai 2009 19:11 - 1163

Contracts and Globalization using resources
Melor vendredi 10 mai 2013 11:47 - 7332

"Failed to connect to any cache" in 1.5.60409.11
Jesse Sweetland mardi 16 avril 2013 13:41 - 2128

Inconsistent invariant warning
alan.bradbury.0710 mardi 14 mai 2013 20:24 - 2155

Possibly unboxing a null reference - Ignored Assumption
Dave Sexton lundi 6 mai 2013 21:39 - 12336

Invariants ignored in 1.5.60409.11?
Jesse Sweetland mardi 16 avril 2013 18:54 - 4127

"Internal error in Clousot with r.o. inference"
Danny Tuppeny _ NM mercredi 8 mai 2013 13:38 - 43716

When will F# be supported?
Sebastian Good vendredi 8 avril 2011 02:57 - 12222

CC warnings cause build to *fail* when using MSBuild, even if CodeContractsFailBuildOnWarnings=false
DanTup jeudi 25 avril 2013 09:56 - 11266

Incorrect code contract documentation is generated
Jonnroc lundi 29 avril 2013 15:41 - 2140

Code contract not working with separate project for interfaces
Haithem Boujerida mardi 7 mai 2013 17:09 - 3309

Get rid of useless null checks
Flusskrebs mercredi 17 avril 2013 15:28 - 9188

Analyser bug? Why does adding an Assert allow another Assert to become proven?
Danny Tuppeny _ NM jeudi 2 mai 2013 15:31 - 0123

Missing LINQ Contracts On Portable FCL
Dave Sexton mardi 7 mai 2013 16:17 - 0112

Nullable Bug: Requires Implicative
Dave Sexton mardi 7 mai 2013 15:38 - 1152

Contract Ensures Result Instead of Task
Dave Sexton vendredi 3 mai 2013 14:45 - 2182

Possibly calling a method on a null reference with foreach
alan.bradbury.0710 mardi 30 avril 2013 08:24 - 2186

Enum precondition redundant
alan.bradbury.0710 mardi 30 avril 2013 08:49 - 3219

Are there any settings that affect rewriter performance?
DanTup lundi 29 avril 2013 07:53 - 9207

Allowing use of CC without rewriter - will this work?
Danny Tuppeny _ NM mercredi 1 mai 2013 11:35

