[darcs-users] darcs patch: Simplify move of a new directory, as it's made to files.

Marco Túlio Gontijo e Silva marcot at holoscopio.com
Fri Mar 27 23:35:31 UTC 2009


Em Sex, 2009-03-27 às 22:41 +0000, Eric Kow escreveu:
> Marco: have you tried running the unit tests?

Just tried, the tests were all passed:

Testing prim join inverses... passed.
Checking prim join inverses using QuickCheck... +++ OK, passed 100
tests.
Testing prim inverse doesn't commute... passed.
Testing join commute... passed.
Checking prim join commute using QuickCheck... +++ OK, passed 100 tests.
Testing prim recommute... passed.
Testing prim patch and inverse commute... passed.
Testing prim inverses commute... passed.
Testing FL prim recommute... passed.
Testing FL prim patch and inverse commute... passed.
Testing FL prim inverses commute... passed.
Testing fails... passed.
Testing read and show work on Prim... passed.
Testing read and show work on RealPatch... passed.
Checking that readPatch and showPatch work on RealPatch... +++ OK,
passed 100 tests.
Checking that readPatch and showPatch work on FL RealPatch... +++ OK,
passed 100 tests.
Testing example flattenings work... passed.
Checking that tree flattenings are consistent... +++ OK, passed 100
tests.
Checking with quickcheck that real patches are consistent... +++ OK,
passed 100 tests.
Testing real merge input consistent... passed.
Testing real merge input is forward... passed.
Testing real merge output is forward... passed.
Testing real merge output consistent... passed.
Testing real merge either way... passed.
Testing real merge and commute... passed.
Testing real recommute... passed.
Testing real inverses commute... passed.
Testing real permutivity... passed.
Testing real partial permutivity... passed.
Checking we can do merges using QuickCheck... +++ OK, passed 100 tests.
Checking again we can do merges using QuickCheck... +++ OK, passed 1000
tests.
Checking recommute using QuickCheck Tree generator... +++ OK, passed 100
tests.
Checking recommute using QuickCheck TWFP generator... +++ OK, passed 100
tests.
Checking nontrivial recommute... +++ OK, passed 100 tests.
Checking nontrivial recommute using TWFP... +++ OK, passed 100 tests.
Checking inverses commute using QuickCheck Tree generator... +++ OK,
passed 100 tests.
Checking inverses commute using QuickCheck TWFP generator... +++ OK,
passed 100 tests.
Checking nontrivial inverses commute... +++ OK, passed 100 tests.
Checking nontrivial inverses commute using TWFP... +++ OK, passed 100
tests.
Checking merge either way using QuickCheck TWFP generator... +++ OK,
passed 100 tests.
Checking merge either way using QuickCheck Tree generator... +++ OK,
passed 100 tests.
Checking nontrivial merge either way... +++ OK, passed 100 tests.
Checking nontrivial merge either way using TWFP... +++ OK, passed 100
tests.
Checking permutivity... +++ OK, passed 100 tests.
No failures in Darcs.Patch.Unit.
Checking that email can be parsed... +++ OK, passed 100 tests.
Checking email header line length... +++ OK, passed 100 tests.
Checking email for illegal characters... +++ OK, passed 100 tests.
Checking for spaces at beginning of folded email header lines... +++ OK,
passed 100 tests.
Checking that there are no empty lines in email headers... +++ OK,
passed 100 tests.
There are a total of 34 primitive patches.
There are a total of 384 patches.
Checking that B.concat works... +++ OK, passed 100 tests.
Checking that hex conversion works... +++ OK, passed 100 tests.
Checking that show and read work right... +++ OK, passed 100 tests.
Checking known commutes... good.
Checking known merges... good.
Checking known canons... good.
Checking patch and inverse both commutex for subcommute
speedy_commute... +++ OK, passed 100 tests.
Checking patch and inverse both commutex for subcommute
commute_filedir... +++ OK, passed 100 tests.
Checking patch and inverse both commutex for subcommute
commute_filepatches... *** Gave up! Passed only 13 tests.
Checking patch and inverse both commutex for subcommute commutex... +++
OK, passed 100 tests.
Checking nontrivial commutes are correct for subcommute
speedy_commute... *** Gave up! Passed only 0 tests.
Checking nontrivial commutes are correct for subcommute
commute_filedir... *** Gave up! Passed only 21 tests.
Checking nontrivial commutes are correct for subcommute
commute_filepatches... *** Gave up! Passed only 17 tests.
Checking nontrivial commutes are correct for subcommute commutex... ***
Gave up! Passed only 26 tests.
Checking inverses fail for subcommute speedy_commute... *** Gave up!
Passed only 0 tests.
Checking inverses fail for subcommute commute_filedir... *** Gave up!
Passed only 5 tests.
Checking inverses fail for subcommute commute_filepatches... *** Gave
up! Passed only 2 tests.
Checking inverses fail for subcommute commutex... *** Gave up! Passed
only 2 tests.
Checking that commuting by patch and its inverse is ok... +++ OK, passed
100 tests.
Checking that a patch followed by its inverse is identity... +++ OK,
passed 100 tests.
Checking that commutes are equivalent... +++ OK, passed 100 tests.
Checking that merges are valid... +++ OK, passed 100 tests.
Checking inverses being valid... +++ OK, passed 100 tests.
Checking other inverse being valid... +++ OK, passed 100 tests.
Checking merge swaps... good.
Checking inverse of inverse... +++ OK, passed 100 tests.
Checking the order of commutes... +++ OK, passed 100 tests.
Checking commutex either way... +++ OK, passed 100 tests.
Checking the double commutex... +++ OK, passed 100 tests.
Checking that merges commutex and are well behaved... +++ OK, passed 100
tests.
Checking that merges can be swapped... +++ OK, passed 100 tests.
Checking again that merges can be swapped (I'm paranoid) ... +++ OK,
passed 100 tests.
Checking that the patch validation works... good.
Checking commutex/recommute... good.
Checking merge properties... good.
Testing the lcs code... good.
Checking primitive patch IO functions... good.
Checking IO functions... good.
Checking primitive commutex/recommute... good.

Greetings.
-- 
marcot
http://marcot.iaaeee.org/




More information about the darcs-users mailing list