[darcs-devel] Checking that merges are valid: [Failed]

[Eric Kow]

On Wed, Feb 16, 2011 at 19:41:27 +0000, Iago Abal wrote:
> These days I am executing tests lot of times per day... which could be the
> reason because I could have found a (strange?) case in which this property
> fails:

Go QuickCheck!

I wonder if there is something we can do to simplify this.  Maybe
Ganesh's shrinker?  Some sort of search and replace.

Hopefully this will turn out to be one of our known darcs-2 bugs.

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
For a faster response, try +44 (0)1273 64 2905 or
xmpp:kowey at jabber.fr (Jabber or Google Talk only)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20110217/fbf6c4e3/attachment.asc>