How to find 'masked' assertions in MS Code Contracts

Question

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:

1. What masked assertions are
2. How to locate the 6 that it mentions
3. 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

Answer 1

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

Now ccCheck made more warning.

Bye.