Module mutagen::bounded_loop[][src]

Structs

LoopBound

LoopBound keeps track of the amount of iterations of a loop and it will stop when a limit is reached. This limit is calculated from previous executions of the tests with mutation count == 0. Then we add some base amount of iterations and we multiply by a factor to give some margin. Finally, if the limit is reached, it exits the process.

LoopCount

LoopCount tracks and report the maximum bound for this specific loop.

LoopId

Traits

LoopStep

LoopStep is used to record or impose a bounded limit to a specific loop, which is identified by an id.