search

microsoft / CodeContracts

Source code for the CodeContracts tools for .NET
Other
882 stars 151 forks source link

Code Contracts Editor Extensions - Tooltip missing code contracts #289

Open tongbong opened 8 years ago

tongbong commented 8 years ago

from the releases page, I can see that the code contracts editor extensions package is still under active development.

https://visualstudiogallery.msdn.microsoft.com/02de7066-b6ca-42b3-8b3c-2562c7fa024f In VS2015 using the v1.9.10714.2 release, I can't see the nice tooltip as in the pictures (see link above).

Are there some options to activate/configure that feature?

SergeyTeplyakov commented 8 years ago

@tongbong Thanks for the bug report.

@sharwell Is there any way to debug/diagnose this extension? Turn on logs or something...?

fourpastmidnight commented 8 years ago

I'm having the same issue. Plus, there's a popup about the Code Contracts Editor Extension throwing an exception. And then, after some time, Visual Studio 2015 crashes. :( Can't say code contracts is the ultimate culprit for the crash, as I do have other extensions installed; but, I can verify that I do not see the tooltip as @tongbong mentions and that the extension does throw exceptions within the text editor.