jpf - 使用验证 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);

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

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