formality如何多核验证
时间：10-02
整理：3721RD
点击：
最近一个项目，用formality两天都没有出结果，哪位大侠知道怎么加速或者用多核cpu啊?
具体参考 Conformal_User.pdf . 例如：
compare-threads4
set compare option -threads 4
set paralleloption -threads 4
我记得formality设并行可简单了，一句话的事儿，你去manual里面找一找。