I would like to try Spec#. I downloaded the latest recommended nightly build (sscboogie-nightly_rev219e6b40fa91_2012-06-02 09:01.zip), followed the steps (got three "Types registered successfully") but no new project type appeared in my MSVS Express 2010. I have Z3 in version 2.15.
I have no idea what to do next... Maybe somebody can help?
↧