ShrinkControl

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total0 of 40100%0 of 0n/a0601206
ShrinkControl(Property)25100%n/a010701
shouldShrink()3100%n/a010101
maxShrinks()3100%n/a010101
maxShrinkDepth()3100%n/a010101
maxShrinkTime()3100%n/a010101
onMinimalCounterexample()3100%n/a010101