report()
method is called after the simulation is complete. The monitor generates a textual or other format representation of the information collected during the execution of the program.
report()
method generates a textual report after the analysis has been completed. It reports information about states, reachable states, time for analysis, and of course, the maximum stack size for the program.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|