úÎ vP2The property raised an exception during execution (The property timed out during execution SThe property was not true. The list of strings are the arguments inducing failure. 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 QuickCheck  property       test-framework-quickcheck-0.2.8#Test.Framework.Providers.QuickCheck testPropertyPropertyPropertyStatusPropertyExceptionPropertyTimedOutPropertyFalsifiablePropertyArgumentsExhausted PropertyOKPropertyResult pr_status pr_used_seed pr_tests_runPropertyTestCounttest-framework-0.4.2.1Test.Framework.CoreTestQuickCheck-1.2.0.1Test.QuickCheckTestablepropertySucceeded runPropertymyCheckmyTests