如何使用驗證API

INT Y = Verify.getIntFromList（intArray）時，爲了獲得JPF啓發式現場計數; boolean z = Verify.getBoolean（）;

//做Y和Z，即所有可能的排列東西y和z等

我感興趣的是得到JPF，因爲它經過的每個置換的活計數。例如，如果intArray中有10個int，並且我們知道布爾值爲false和true，那麼總共會有20個排列。但是我希望能夠一一計算，因爲它正在經歷所有的20個。想要在我的程序中使用此實時計數。

希望我已經明確解釋了我想要做什麼？

感謝

您的上述聲明之前，調用 Verify.setCounter（0,0）;每次調用Verify.getXXX（）時，都會調用Verify.incrementCounter（0,1）;

計數器語句中的第一個參數是計數器索引，您可以定義多個計數器並根據您的邏輯遞增每個計數器。

計數器就像JPF的靜態變量。

2013-04-01 19:23:07

回答