none
visual studio community plug-in for activation of CBMC('C' Bounded Model Checker) of CMU(Carnegie Mellon University)

    Question

  •  I am not able to install CBMC tool which is dependant on VS community plug-in for Windows 8.1.This plug-in is getting aborted-reasons not known.Can someone help?
    Wednesday, March 30, 2016 7:41 AM

Answers

  • Hi,

    >>I am not able to install CBMC tool which is dependant on VS community plug-in for Windows 8.1.

    I did a research for the CBMC, but I can't find which site to download it.

    >>This plug-in is getting aborted-reasons not known

    Is the plug-in available for the previous version of Visual Studio?

    If so,  I  suggest you could submit as a feature request to :

    http://visualstudio.uservoice.com/forums/121579-visual-studio

    The Visual Studio product team is listening to user voice there. You can send your idea there so the others can vote it. If you submit this suggestion, you might post that link here which will benefit others who has the similar problem.

    I will vote it. Thanks for your understanding.

    Best Regards,

    Lake Xiao

    Thursday, March 31, 2016 2:12 AM
    Moderator