fact: Definition giveUp (st : State) : Result := GaveUp (numSuccessTests st) (summary st) ( if (stDoAnalysis st) then ("""result"": ""gave_up"", ""tests"":" ++ (show (numSuccessTests st)) ++ ", ""discards"": " ++ (show (numDiscardedTests st))) else ("*** Gave up! Passed only " ++ (show (numSuccessTests st)) ++ " tests" ++ newline ++ "Discarded: " ++ (show (numDiscardedTests st)) ++ newline) ).
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrnat ssrbool eqtype div) ExtLib(Structures.Monad) SimpleIO(SimpleIO) QuickChick(RoseTrees RandomQC Generators Producer SemChecker) QuickChick(Show Checker State Classes) Coq.Strings.Ascii Coq.Strings.String List Recdef Arith.EqNat