Code Contracts

May 4, 2011 at 2:28 AM


What is the current recommendation for including a Code Contracts assembly in a package?

I'm hesitant to add it as a lib file because it shouldn't be referenced by projects:

However, it's also not a content file because it needs to be in the project's bin folder so that the Code Contracts tools can resolve its contracts.