Package | Description |
---|---|
gov.nasa.jpf.listener |
Modifier and Type | Class and Description |
---|---|
class |
EndlessLoopDetector
little listener that tries to detect endless while() loops by counting
backjumps, breaking transitions if the count exceeds a threshold, and
then checking if program states match.
|