fact: Definition message (kill : bool) (n1 n2 : nat) := (if kill then "Killed" else "Missed") ++ " mutant " ++ (if kill then "" else "[") ++ show n2 ++ (if kill then "" else "]") ++ " (" ++ show n1 ++ " frags)" ++ nl.
imports: QuickChick List Coq.Strings.String