úÎ ) Ž2The property raised an exception during execution (The property timed out during execution 2We expected that a property would fail but it didn't 5The property was not true. The string is the reason. GThe property may be true, but we ran out of arguments to try it out on 1The property is true as far as we could check it 3The failure information from the run of a property `Used to document numbers which we expect to be intermediate test counts from running properties  Create a  for a QuickCheck2  property gThis function eventually reports a failure but attempts to shrink the counterexample before it does so        !"!test-framework-quickcheck2-0.2.10$Test.Framework.Providers.QuickCheck2 testPropertyPropertyPropertyStatusPropertyExceptionPropertyTimedOutPropertyNoExpectedFailurePropertyFalsifiablePropertyArgumentsExhausted PropertyOKPropertyResult pr_status pr_used_seed pr_tests_runPropertyTestCounttest-framework-0.4.1.1Test.Framework.CoreTestQuickCheck-2.4.1.1Test.QuickCheck.PropertyTestablepropertySucceededpropertyStatusIsSuccess runProperty initialStatemyTest myRunATestmyFoundFailure myLocalMin myLocalMin'myLocalMinFound tryEvaluate tryEvaluateIO