Home/ Questions/Q 3969136
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-20T03:55:39+00:00

I am referencing this answer (emphasis mine): Have a look at the ContractClass and

  • 0

I am referencing this answer (emphasis mine):

Have a look at the ContractClass and ContractClassFor attributes. This allows you to write classes with the code contracts in separate assemblies. This allows you to have the contracts available for dev work, doesn’t clutter your code and also means you don’t have to deploy the contracts with the live code

  1. Why would you not want the contracts deployed?

  2. Are contracts, from a best-practices point-of-view, strictly for development and quality control?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    1. You generally don’t want to deploy postcondition contracts on release builds. This is to make sure that you don’t confront people using your assemblies with errors that are your responsibility. I’m sure there are other reasons, but this is the first one that pops to my mind.

    2. Currently, there is no single best-practices point-of-view that I know of regarding Code Contracts. There are different ways to use Code Contracts ( which are described in the Code Contracts User Manual ), and each one has it’s own specific guidelines.

    The answer you’re referencing is also not completely correct, as I’ve stated in the comments.

    • 0