fact: Record State := MkState { maxSuccessTests : nat ; maxDiscardedTests : nat ; maxShrinkNo : nat ; computeSize : nat -> nat -> nat ; numSuccessTests : nat ; numDiscardedTests : nat ; labels : Map.t nat ; expectedFailure : bool ; randomSeed : RandomSeed ; numSuccessShrinks : nat ; numTryShrinks : nat ; stDoAnalysis : bool }.
imports: RandomQC Coq.Strings.String StringOT FSets.FMapAVL