[Unison-hackers] BugTracker?

[Benjamin C. Pierce]

> Let's try the other way: ;)
> Please give me the simplest open bug you have currently.

Here’s an amusing one that came up quite recently.  It’s not completely simple, but not extremely hard to fix either, I think.  

John Hughes and I decided (with Thomas Arts and Ulf Norell) to do a little QuickCheck-style property based random testing of Unison.  We used their Erlang version of QuickCheck, which has very nice support for generating state-machine-like test sequences.  And, lo and behold, in the first two hours of testing we found a significant (and subtle) bug!

What QuickCheck discovered was that, if Unison propagates a changed version of a file and, on the receiving replica, this file is immediately (within one second) overwritten by some other process with new contents of exactly the same size, then running Unison again will not propagate the newest change back to the first side.  

Best,

    - Benjamin




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/unison-hackers/attachments/20141026/ddd7884c/attachment.html>