lab8
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
lab8 [2016/03/02 21:09] – franck | lab8 [2016/03/02 21:15] – franck | ||
---|---|---|---|
Line 60: | Line 60: | ||
That is, JPF reports the maximum amount of nondeterminism (maximum number of outgoing transitions from any state of the system under test). | 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, | ||
- | Try not to hard-code ====================================================== | + | Try not to hard-code |
- | use an appropriate | + | < |
+ | < | ||
+ | ====================================================== | ||
+ | </ | ||
+ | </ | ||
+ | but use an appropriate | ||
lab8.txt · Last modified: 2016/03/03 13:46 by franck