jpf - 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個すべてを1つずつ通過しているので、ライブカウントが必要です。このライブ カウントをプログラムで使用したい。

私がやりたいことを明確に説明したことを願っていますか？

ありがとう

Answer 1

上記のステートメントの前に、Verify.setCounter(0,0); を呼び出します。Verify.getXXX() を呼び出すたびに、Verify.incrementCounter(0,1); を呼び出します。

カウンター ステートメントの最初の引数はカウンター インデックスです。複数のカウンターを定義し、ロジックに基づいてそれぞれをインクリメントできます。

カウンターはJPFの静的変数のようなものです。