Parsing Code Contracts Baseline.xml into Visual Studio 2012 Errors List Tab

Question

In a large Visual Studio Solution static analysis with Code Contracts takes a very long time using cccheck.exe. So it is noted in the user guide as best practice to use baseline.xml for the analysis and any new detections will be added to a baseline.xml.new file in your obj bin by default.

However, how do you then parse the xml back into your Visual Studio Solution errors section so that you can go to the problematic sections of your code?

Answer 1

hi joe,

   the best solution now is to use the cache (best if shared on a server) to save on the analysis time and the attribute contractverification to focus your verification efforts.

ciao

f