Extend CProver support for Windows
CBMC is only reachable if AF3 is started from within a Visual Studio console at the moment.
What would be a better solution here?
(from redmine: issue id 1676, created on 2013-09-03, closed on 2013-09-26)
CBMC is only reachable if AF3 is started from within a Visual Studio console at the moment.
What would be a better solution here?
(from redmine: issue id 1676, created on 2013-09-03, closed on 2013-09-26)