formality如何多核验证

fengzhepianzhou

最近一个项目，用formality两天都没有出结果，哪位大侠知道怎么加速或者用多核cpu啊？

imap

具体参考 Conformal_User.pdf . 例如：

compare  -threads  4

set compare option -threads 4

set parallel    option -threads 4

sjtusonic

   

最近一个项目，用formality两天都没有出结果，哪位大侠知道怎么加速或者用多核cpu啊？
fengzhepianzhou 发表于 2013-9-8 16:17

                               
登录/注册后可看大图

    我记得formality设并行可简单了，一句话的事儿，你去manual里面找一找。