Dependency on Visual Studio on Windows

[theyoucheng]

As emphasized in the CPROVER manual, running the Windows version CBMC requires the installation of Microsoft Visual Studio. This puts difficulty for third-party application to call CBMC in Windows. Any suggestion to remove this dependency?

[tautschnig]

It's ok to use Cygwin or MinGW, which just require using cbmc --gcc <usual command line> - does this do the trick?

[theyoucheng]

Thanks very much Michael! This solves the problem.