是否可以在没有 Visual Express 的情况下独立运行 CBMC？我需要重新编译它还是可能有其他技巧？
我只需要定期使用CBMC将一个函数翻译成CNF，所以我想用函数名调用它，将cnf文件写入磁盘并重新开始。我不想使用 Visual Studio。
问问题
229 次
1 回答
2
It is entirely possible to run The CBMC model checker as a standalone program. I do it weekly on both Linux and Windows 7 :)
I'm assuming you're on Windows because of Visual Studio.
Open a command prompt and navigate to the folder where cbmc.exe is, and call it like so: cbmc --help ...to see the options you have.
The user manual has a section on how to do it, in 3.2 Command line interface.
You may have to call the batch-script that sets up Visual Studio's environment for the CLI (VSVARS32.bat / vsvarsall.bat etc).
On some Windows machines, that script is placed in c:\program files\microsoft visual studio\[version]\vc\bin\ if I recall correctly.
See this MSDN page for more info on that: https://msdn.microsoft.com/en-us/library/f2ccy3wt.aspx
于 2015-04-15T20:50:05.630 回答