如何在使用Verify API时获取jpf启发式实时计数

Question

我正在使用像

这样的东西

int y = Verify.getIntFromList（intArray）; boolean z = Verify.getBoolean（）;

//用y和z做一些事情，即y和z等所有可能的排列。

我有兴趣获得jpf的实时计数，因为它经历了每个排列。例如，如果intArray中有10个int，我们知道boolean为false和true，那么总共有20个排列。但是我想要实时计算，因为它将逐一通过所有20个。想在我的程序中使用这个实时计数。

希望我已经清楚地解释了我想要做什么？

由于

Answer 1

在您的上述陈述之前，请致电     Verify.setCounter（0,0）; 每次调用Verify.getXXX（）调用Verify.incrementCounter（0,1）;

计数器语句中的第一个参数是计数器索引，您可以定义多个计数器，并根据您的逻辑递增每个计数器。

计数器类似于JPF的静态变量。