[darcs-devel] [issue2047] Falsifiable Darcs.Test.Patch.Properties.recommute

Iago Abal bugs at darcs.net
Tue Feb 22 13:11:57 UTC 2011


New submission from Iago Abal <iago.abal at gmail.com>:

Running QuickCheck tests I have found a possible bug (I guess in 
commutation/merging of V2 patches) which breaks recommute property.
I have found the same bug twice, in both cases the problem looks related 
with a conflictor between "move a file into a directory" and "remove that 
directory".

----------
files: falsifiable_recommute
messages: 13725
nosy: ganesh, iago
status: unknown
title: Falsifiable Darcs.Test.Patch.Properties.recommute

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2047>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: falsifiable_recommute
Type: application/octet-stream
Size: 695 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20110222/b6ad3a20/attachment.obj>


More information about the darcs-devel mailing list