There are some special cases in which the property
Darcs.Test.Patch.Properties2.propMergeValid fails fails (I have found 2
in 2-3 weeks executings tests very often). This time the bug is related
commutation.
I attach the full test case.
---
Falsifiable with seed -1011467860147028769, after 93 tests. Reason:
Exception: 'bug at src/Darcs/Patch/V1/Commute.lhs:550 compiled Feb 21
2011 21:01:56 in function reconcileUnwindings Original patch: merger
0.0 ( merger 0.0 ( merger 0.0 ( merger 0.0 ( move ./test ./
PN3aenVzrSP6P09yw49hN38fH7pCLfq551r5EyY2GXVEp23Ag8zo1hdnMYnyZN3xEQK4WmNNuoJskYpfs
rmdir ./test ) merger 0.0 ( move ./
PN3aenVzrSP6P09yw49hN38fH7pCLfq551r5EyY2GXVEp23Ag8zo1hdnMYnyZN3xEQK4WmNNuoJskYpfs/
J7vFS7 ./hello merger 0.0 ( move ./hello ./
nh5AC0ajz48lL4RkW2PZv2mv94qwuBavOU2U2 rmdir ./hello ) ) ) merger 0.0
( merger 0.0 ( rmdir ./test move ./test ./
PN3aenVzrSP6P09yw49hN38fH7pCLfq551r5EyY2GXVEp23Ag8zo1hdnMYnyZN3xEQK4WmNNuoJskYpfs )
move ./LDPbtgYszyYLBI3AoaNJ ./test ) ) merger 0.0 ( merger 0.0 ( merger
0.0 ( move ./
PN3aenVzrSP6P09yw49hN38fH7pCLfq551r5EyY2GXVEp23Ag8zo1hdnMYnyZN3xEQK4WmNNuoJskYpfs/
J7vFS7 ./hello merger 0.0 ( move ./hello ./
nh5AC0ajz48lL4RkW2PZv2mv94qwuBavOU2U2 rmdir ./hello ) ) merger 0.0
( move ./test ./
PN3aenVzrSP6P09yw49hN38fH7pCLfq551r5EyY2GXVEp23Ag8zo1hdnMYnyZN3xEQK4WmNNuoJskYpfs
rmdir ./test ) ) merger 0.0 ( merger 0.0 ( merger 0.0 ( move ./hello ./
nh5AC0ajz48lL4RkW2PZv2mv94qwuBavOU2U2 rmdir ./hello ) move ./
PN3aenVzrSP6P09yw49hN38fH7pCLfq551r5EyY2GXVEp23Ag8zo1hdnMYnyZN3xEQK4WmNNuoJskYpfs/
J7vFS7 ./hello ) merger 0.0 ( merger 0.0 ( rmdir ./hello move ./hello ./
nh5AC0ajz48lL4RkW2PZv2mv94qwuBavOU2U2 ) move ./
VPA1i1afFRVuH31aLiauxAnjm47e75b35VDW1e9HztZUzsWz2B3aAUjptWOehMFc8pT4N9FR9UQGoGPrcepi7OKN01Ry/
hello ./hello ) ) ) ) See http://wiki.darcs.net/BugTracker/Reporting
for help on bug reporting.'
Attachments
|
