lab8
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionNext revisionBoth sides next revision | ||
lab8 [2016/03/02 19:30] – created franck | lab8 [2016/03/03 13:46] – franck | ||
---|---|---|---|
Line 23: | Line 23: | ||
native_classpath=. | native_classpath=. | ||
listener=AmountOfNonDeterminism | listener=AmountOfNonDeterminism | ||
+ | cg.enumerate_random=true | ||
</ | </ | ||
</ | </ | ||
Line 58: | Line 58: | ||
</ | </ | ||
</ | </ | ||
+ | That is, JPF reports the maximum amount of nondeterminism (maximum number of outgoing transitions from any state of the system under test). | ||
Apart from the classes that have been discussed in the lectures, also the class ChoiceGenerator, | Apart from the classes that have been discussed in the lectures, also the class ChoiceGenerator, | ||
lab8.txt · Last modified: 2017/03/03 15:55 by franck