title: How to properly use Code Contracts in .NET Core
body: <p>I wonder, how to properly use Code Contracts in <strong>.NET Core</strong>, so far I tried to add CC to my project, compile and debug. I'm confused by message, which is appearing in each call which uses <code>Contract.Requires</code>, and information found by googling. </p>
  
  <p>The message states: </p>
  
  <blockquote>
    <p>An assembly must be rewritten using the code contracts binary rewriter (CCRewrite) because it is calling <code>Contract.Requires&lt;TException&gt;</code> and <code>CONTRACTS_FULL</code> symbol is defined. Remove any explicit definitions of the <code>CONTRACTS_FULL</code> symbol from your project and rebuild. CCRewrite ....</p>
  </blockquote>
  
  <p>As I can see there are no CC options in the project properties and as I can see CC's Github repository is nearly dead. Is the are any way how to successfully use CC in .NET Core?</p>
  
  <p>And if not, is there any simple way how to replace them? I use <code>Contract.Requires</code> and <code>ContractClassAttribute</code>. Replacing <code>Contract.Requires</code> is obvious, but <strong>ContractClassAttribute</strong> is blowing my mind :-)</p>