lab8
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| lab8 [2016/03/02 21:15] – franck | lab8 [2016/03/03 13:46] (current) – 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 | ||
| - | < | ||
| - | <pre> | ||
| - | ====================================================== | ||
| - | </ | ||
| - | </ | ||
| - | but use an appropriate method provided by JPF. | ||
lab8.txt · Last modified: 2016/03/03 13:46 by franck