本文整理汇总了Java中gov.nasa.jpf.JPF.run方法的典型用法代码示例。如果您正苦于以下问题：Java JPF.run方法的具体用法？Java JPF.run怎么用？Java JPF.run使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类gov.nasa.jpf.JPF的用法示例。
在下文中一共展示了JPF.run方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: runJPF
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
private void runJPF(JPF jpf) {
try {
jpf.run();
} catch (Exception e) {
throw new WCAException("jpf-core threw exception", e);
}
}
示例2: start
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
@Override
public void start(String[] args) {
this.conf.setProperty("report.console.class", PolicyResultsPublisher.class.getName());
for(int i = this.from; i <= this.to; i++) {
this.conf.setProperty("target.args", ""+i);
JPF jpf = new JPF(this.conf);
jpf.addListener(new PolicyGeneratorListener(this.conf, jpf)); //weird instantiation...
//get policy
jpf.run();
}
}
示例3: createAndRunJPF
import gov.nasa.jpf.JPF; //导入方法依赖的package包/类
/**
* needs to be broken up into two methods for cases that do additional
* JPF initialization (jpf-inspector)
*
* this is called from the various verifyX() methods (i.e. host VM) to
* start JPF, it is never executed under JPF
*/
protected JPF createAndRunJPF (StackTraceElement testMethod, String[] args) {
JPF jpf = createJPF( testMethod, args);
if (jpf != null){
jpf.run();
}
return jpf;
}