darcs

Issue 2046 Bug in reconcileUnwindings

Title Bug in reconcileUnwindings
Priority bug Status given-up
Milestone Resolved in
Superseder Nosy List ganesh, iago
Assigned To
Topics

Created on 2011-02-21.22:20:16 by iago, last changed 2013-02-16.14:22:46 by kowey.

Files
File name Uploaded Type Edit Remove
commute_bug iago, 2011-02-21.22:20:15 application/octet-stream
Messages
msg13719 (view) Author: iago Date: 2011-02-21.22:20:15
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
msg16630 (view) Author: kowey Date: 2013-02-16.14:22:45
Giving up on this one as it's darcs 1 and unlikely we'll be paying it 
much attention.

If disagree, I suggest minimisation of the test case
History
Date User Action Args
2011-02-21 22:20:16iagocreate
2013-02-16 14:22:46koweysetpriority: bug
status: unknown -> given-up
messages: + msg16630