Visual Studio Code Contracts Extension - Tooltips only show list of exceptions and not the contract info

Question

Is there something other than distributing the rewritten assembly xml doc file that needs to be done to get the contract info to show up in tooltips when someone is using my library? Visual Studio 2010 does with the Code Contract Editor Extensions installed.

Answer 1

I don't think the xml are needed or used. As far as I can tell the info for the BCL comes solely from the *.Contracts.DLL files (Program Files\Microsoft\Contracts).

So either the actual libraries should be enough or those helper DLLs should be added.