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
It’s simple, in your project properties>Code Contracts>Static Checking> put the warning at “hi”.
Now ccCheck made more warning.
Bye.