[Javapathfinder-devel] Retrieving Stats on the Models

[Neha R. <neh...@gm...>]

I installed JPF 4.0 in Eclipse and I want to extract stats on the models
being verified. Like the total number of states, transitions, execution time
etc. When I run with the default properties, I get a length of the path to
the error and an error trace but not the above mentioned statistics. Which
of the dictionary contents do I need to change to get the information?
Neha
-- 
-------------------------------------------------
Neha Rungta
Research Assistant
Verification and Validation
Brigham Young University
801 422 6071
--------------------------------------------------