What are masked assertions in Microsoft Code Contracts?

Asked Sep 14 '12 at 07:44

Active Sep 12 '15 at 07:30

Viewed 53 times

Possible Duplicate:
How to find 'masked' assertions in MS Code Contracts

I started with Code Contracts under C# 4.0 recently and I get messages like the following:

CodeContracts: Checked 50 assertions: 33 correct (17 masked)

I've been looking all over to find out what a masked assertion is, but have not found it. It is not in the CodeContracts manual, nor could I find anything on 'masked assertion'.

Any insight?

edited May 23 '17 at 12:29

Community

asked Sep 14 '12 at 07:44

Menno Deij - van Rijswijk

1

I don't have any 'baseline' functionality enabled, so the answer in the possible duplicate is not correct as far as I can see. I don't have baseline checked, nor can I find any baseline.xml file in my source or build tree. – Menno Deij - van Rijswijk Sep 14 '12 at 07:57
I get these messages on a completely clean build. Unless these baseline files are stored outside of my source tree, something else is going on... – Menno Deij - van Rijswijk Sep 14 '12 at 08:18
A completely clean build with "cache results" = off for static checking still gives masked assertions – Menno Deij - van Rijswijk Sep 14 '12 at 08:56
For the record, this is not a duplicate... – Menno Deij - van Rijswijk Sep 16 '12 at 20:30

What are masked assertions in Microsoft Code Contracts?

0 Answers0