On Tue, Jun 16, 2009 at 17:21:47 +0200, Reinier Lamers wrote: > This finalizes the adoption of test-framework by removing older driver > systems in Darcs.Patch.*. Because the old frameworks are gone the progress > reporting of test-framework now works, which should improve the user > experience.
Great. By the way, out of curiosity, what are you planning to do with the testrunner homepage and what not? Tell everybody that the next version of testrunner will named test-framework and will be maintained by Max B with significant API changes? > To run the tests as thoroughly as before, you do: > > dist/build/unit/unit --maximum-unsuitable-generated-tests=5000 > dist/build/unit/unit -t 'Checking again we can do merges using QuickCheck' > -a 1000 > > Tue Jun 16 15:07:39 CEST 2009 Reinier Lamers <[email protected]> > * Eliminate custom simpleCheck function in favor of test-framework runner > > Tue Jun 16 17:03:50 CEST 2009 Reinier Lamers <[email protected]> > * Make simpleConditionalCheck work with test-framework, and rename > accordingly > > Tue Jun 16 17:12:17 CEST 2009 Reinier Lamers <[email protected]> > * Remove thoroughCheck function from Darcs.Patch.QuickCheck > > Thoroughness can be regulated from the command line with test-framework. I > will > document how to do it on the wiki. I had a quick glance in a graphical diff program, but it wasn't enough for me to understand the notion of thoroughness. What does it affect exactly? The number of tests being run? I'd be happy to apply these, but if you feel like amending, I did spot a minor Haddock typo below: Make simpleConditionalCheck work with test-framework, and rename accordingly ---------------------------------------------------------------------------- > +-- ^ Turns a condition and a test function into a conditional quickcheck > +-- property that can be run by test-framework. > +testConditional :: (Arbitrary p, Show p, Show q) => String -- ^ Test > name > + -> (p -> Bool) -- ^ > Condition > + -> (p -> Maybe q) -- ^ Test > function > + -> Test You meant "-- |" likely? -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
