! Z Safe 1;>?CSTV test-framework-quickcheck20The property is true as far as we could check ittest-framework-quickcheck2FThe property may be true, but we ran out of arguments to try it out ontest-framework-quickcheck2EThe property was not true. The strings are the reason and the output.test-framework-quickcheck24We expected that a property would fail but it didn'ttest-framework-quickcheck2'The property timed out during execution test-framework-quickcheck22The failure information from the run of a property test-framework-quickcheck2_Used to document numbers which we expect to be intermediate test counts from running propertiestest-framework-quickcheck2 Create a   for a QuickCheck2   property     9test-framework-quickcheck2-0.3.0.5-AJkld8opvVQEs0qTFGoWdA$Test.Framework.Providers.QuickCheck2 testProperty$fShowPropertyResult!$fTestResultlikeIntPropertyResult#$fTestlikeIntPropertyResultProperty PropertyOKPropertyArgumentsExhaustedPropertyFalsifiablePropertyNoExpectedFailurePropertyTimedOutPropertyResultPropertyTestCount-test-framework-0.8.2.0-1ag27WnRtKkKerMJ8brqQdTest.Framework.CoreTest&QuickCheck-2.12-AhkXZlhonSnA7wr8rS3XFlTest.QuickCheck.PropertyTestable