Messages added to the error list are never cleared

Question

Hello,

I'm using Visual Studio 2012 with the latest release 1.4.50910.0 of Code Contracts and the messages added to the error list are never cleared after compiling, not even when I'm closing the solution! I have to close Visual Studio and that's really annoying.

To be clear, the messages that initially reported by the tool were fixed yet instead of clearing them out it just adding them to the error list together with the new messages.

---

Regards,

Eyal Shilony

Answer 1

The latest version (1.4.51019.0) fixes this somewhat.  The issue still exists, but to a lesser degree.

Answer 2

Hi,

This has been reported.  Here's a related discussion:

http://social.msdn.microsoft.com/Forums/en/codecontracts/thread/0b3def64-e3ea-48a6-900a-204f96b8e22c

I can confirm that it appears to be an issue with builds being cancelled.  If I open Visual Studio and build without cancelling, all CC messages are cleared as expected upon subsequent builds.

- Dave

---

http://davesexton.com/blog

Answer 3

I'm experiencing the same thing with the latest version, it's really annoying, I really hope they will push an update for it soon! it's pretty annoying. :)

EDIT: I'm not sure what changed but I've restarted VS and it's fine now.

---

Regards,

Eyal Shilony

Answer 4

Hi,

Did you try canceling a build?  Restarting Visual Studio always works for me until I cancel another build (it seems), then the messages don't get cleared again, until the next restart.

- Dave

---

http://davesexton.com/blog

Answer 5

Aye Dave.

---

Regards,

Eyal Shilony