Как получить эвристический живой счетчик jpf при использовании Verify API

Question

Я использую что-то вроде

int y = Verify.getIntFromList (intArray); boolean z = Verify.getBoolean ();

// сделать что-нибудь с y и z, то есть со всеми возможными перестановками y и z и т. д.

Я заинтересован в получении живого счета jpf, поскольку он проходит каждую перестановку. Например, если в intArray есть 10 int, и мы знаем false и true для логического значения, то будет всего 20 перестановок. но я хочу, чтобы счет в реальном времени проходил через все 20 по очереди. Хотите использовать этот счет в моей программе.

Надеюсь, я четко объяснил, что я хочу сделать?

Спасибо

Answer 1

Перед вашими заявлениями позвоните Verify.setCounter(0,0); Каждый раз, когда вы вызываете Verify.getXXX(), вызывайте Verify.incrementCounter(0,1);

Первый аргумент в выражениях счетчика - это индекс счетчика, вы можете определить более одного счетчика и увеличивать каждый из них на основе вашей логики.

счетчики - это что-то вроде статических переменных JPF.