JMLCute
JMLCute使用jCUTE的Concolic引擎和AspectJML的JML编译器为给定项目的源代码及其JML规范的项目生成JUnit测试用例。
建造
jmlcute在Linux 64位系统上运行。
如果您有Vagrant，请运行“ vagrant up”以构建系统，然后运行“ vagrant ssh”以访问64位Linux虚拟环境。 要退出虚拟环境，请运行“退出”。
首次构建系统可能需要长达一个小时的时间。 随后的构建将更快（不到一分钟）。
在虚拟环境中时，/ vagrant目录将与此项目同步，因此对/ vagrant目录的任何更改都将在主机中感觉到。
如果您具有64位Linux系统，则jmlcute已经构建。
跑步
要在jmlcute-essentials / src / main / java中的项目中的FibImpl类上运行jmlcute，请运行'./r
