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

Answer 1

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

Now ccCheck made more warning.

Bye.