How to find 'masked' assertions in MS Code Contracts

code-contracts

Solution

It's simple, in your project properties>Code Contracts>Static Checking> put the warning at "hi".

Now ccCheck made more warning.

Bye.

Problem

I have the following Message-level entry in my Error List from CodeContracts: CodeContracts: Checked 410 assertions: 404 correct (6 masked) I can't figure out: - What masked assertions are - How to locate the 6 that it mentions - Whether or not I should be concerned about them Sorry for not posting code... I have no idea how to recreate this in a small sample :) Many thanks

Original source