When i run make test_unit, against current (20082312) darcs.net repo, the
"commutex either way" test fails. Several other tests give up. I have attached
the context file, and the output of the tests.

Attachments

• bug-context

On Tue, Dec 23, 2008 at 15:26:56 -0000, Florent Becker wrote:
> When i run make test_unit, against current (20082312) darcs.net repo, the
> "commutex either way" test fails. Several other tests give up. I have attached
> the context file, and the output of the tests.

Ouch! Any chance you could check to see if it was a regression, i.e. by
hand-running the failing case (presumably output by QC in a way that you
paste in somewhere) with older darcs?

The bug was already present in 2.1.2

The "inverses being valid" test fails too. Maybe it's the real root of the
problem. Note that many tests are given up, is this intended?



Checking inverses being valid... *** Failed! Falsifiable (after 88 tests):
{
binary ./UOYScNGSw2DBly6c26Ys8db6sY3Cmtr0WsV8DUVkydcJ2Sqt7QHzdS
oldhex
*1677710a336fd9b400052903e815b29759a3083352720d2136528e405fa70a5f7bdb45bdca347c
*0568f03ab345262ac36ce706b705b54436661808
newhex
*ac21c3cf00a9b81e50acd63d0930755e3c1c3a1730750a984f2a535a046eb3b5c8ec12149ea0be
*395bb820576fc23550ebbd1541442e816a0026048223de554c39461e06
hunk ./PL2HLXXozzvajV02WrltCbCNAb 960
+world is world
changepref color
hello
world
hunk
./HPxgjDTtmGVIdKz97aoVobTzdKPJgA290EQBZMdsy5lqBSJue6gAPb6HaFwFgPuZWl4VKDcfN4LojSyzlC
994
-token hello hello
-
+is a this
move ./world ./test
hunk ./fnaaLnEcE39nzITjzoO6XBoA4v2gCo 849
-sSHk9fUdQyvMJO0PPr1m6Sfwp2Wa5paxdACpAPpJXynIxrUUWoMyqnBRYDFNFpZ
-}
changepref movie
a
is
changepref movie
a
this
rmdir ./M8qIY9kgRJ76N5E87Uawbbd2Shm5VZS4RKLYyrECBB0vnFC0PefCI/world
changepref movie
is
this
changepref color
this
test
replace ./ZaaRJvrjpxm82mSGSBUUKfJUvacT6X9eT9aYxATzoQwqZOzRU [A-Za-z_] this test
changepref color
test
this
hunk ./test 929
-token silly world
+hello hello this
+test silly world
+a test hello
hunk
./4blF9za75MbRBdFzljTodN9G6DlJQJnQG8n/HoEOdap02a6n4va6g65RZbBr3GYYrWJAfKtKlen61VZ/hello
1
-is hello world
-test test this
+{
hunk ./test 2
-this world is
hunk ./hello 681
-
hunk
./kCwcZkuu6WfJv4LQzfURH6xNvpRYpaX29NPVxmT3YCz8OHYyQan35ZWPvLfW8N7YuoFzgXeHwt5uLGBLZf
1
+obw3pgKXYjYeqp33cxc7GPUQCqWOx6CdSsWnZBO6XqCY4NDkPZJk89sYJzFPxmsCvP8Nlj5O1mIkCFac
+a a is
hunk ./U9vODs5ZNtkvhICmbB/world/XGw 2
-token hello a
-test a test
+{
+hello test hello
hunk ./xiVG4AoMbIEv8cwxn1xmtjZsn2VOI3jVPAnT58bKnTBqZQXAWAv0KPb7IHD5KWyHuMvr 48
-token test hello
+}
+world a is
changepref color
world
silly
hunk ./KuXrIFx9f5zy3jiLTOwRTKVGiPOFnk80LEXlfTulULsYNKYI9KDv7AYgRy63y85pYRR 124
+{
+test is a
changepref movie
new
old
hunk ./hello 144
+hello test test
+is test is
+ZuWTgb8OAdu4WrPyxvETjIbFz7YFtju4OIAPQ6ehWWQlJxmNuiIqbxNeuLTu
move
./iP9QQRx7dejVFg7ax7hVHz6pSv1llHDKw5cPYZve0Y38VJcNvVLaAi6yq18so4mhJi0idp/FTyZJndxfk9Y1I2CaczSloUABEVfOvcXiUZiqJLqftvLeXlJo
./world
hunk ./test 1025
-test test is
-{
hunk
./kRAwAa9MlhQN9uxv3xHq6zYCItN7rZ2GsbyUGmZIQCoUZqLRbgQ5rT34fYZznUbAHyj3CYytZQnndHfHG
3
-world a world
+this world world
hunk ./hello 1
-VmXMZJRp0pD6l7um7ItkZCOFtXfEAqYLhKGdSPs2l5sx6ub9RPxbZ3IxkBqwOIWyVNNawABHDxoxMiDEI
-hello a test
-is silly this
hunk ./hello 181
-
+Ui0ksT2obUzimeyO7NtAsa6T8WNENh5sr1fon1LJYVkgbPxj2CdPTi3FAOn5
replace ./xsR/QMuhsCdHvHqAWmxJsyRyR4LhK5QzGSj/hello [A-Za-z_] this world
move ./hHPQDyQvpz78SglhL2gXEBTEclkJVM9yX6k2qmVLPEsYYUBG2pBwyJO4rM
./RkL28eOkeJnuzGj6XKYQMUSvOTDV76O4iOS9Eiq40bRDfjZAY1T52q8GoUaZkki
binary ./AZ9qxZkL1
oldhex
*42f8c8b3640d62ea1a600259928c1c6a70fd6f464f01
newhex
*4f13a31a5b291d7961a7163fe34b70752445704b572a7baa788c521f10322f2253056e67580ce9
*96965d456f6a6e18161fdb9a04161d346f19d2
hunk ./world 2
-is token token
-silly test is
move ./BVECURGQdAgrIXufsBIoBsTyxWevmz9MR5UzZavrBhaBPohuJolSFzeuCiVCoew3
./h5WZFAAxhjDtXr4yQGyEk5vAzoD81xAAjVM7fDH7kAJ5JoKwD9jrX
hunk ./world 2
-world test token
-}
changepref movie
is
silly
hunk ./test 356
-zoCdOgC9782KSf9wY6Kaht339AfU8MRy5aGNMY2f4RnqOVYN
-z3Ze6BxQp7jQQL1XaSDGsI72
-silly test test
replace
./tUclaaZXSaXR20wj5M9JeJjdHKbPm5S9DuuSc81DtHYkC9O1hsO1LMAuQq8WY8G6A42cH05YYb8fN7Bv
[A-Za-z_] token is
hunk ./hello 3
-{
+world this test
+hello a this
replace ./world [A-Za-z_] this hello
hunk ./test 1
-hello token this
+}
hunk ./world 2
-QWbsbPKwZdMePs0O1yEdsegA70HqilDp15G7hdhG1Iok4Vu6OWw6cJm8ealw0FXqtMTzI7p
-
-hello world silly
+this hello test
+test test hello
+a silly is
hunk ./world 987
+hello is is
+this world hello
replace ./IYVPEsV27fFYmquC20iGfd2lGm2uueCxzj3LdzxR [A-Za-z_] hello is
replace ./test [A-Za-z_] token is
}

Hi Reinier,  I'm resolving this as a duplicate of issue1412.  Please let me know
if I've gotten that wrong (looks like your QuickCheck work is having quite the
impact)