Issue 1160 Failed "checking inverse being valid" unit test
Issues
Show Unassigned
Show All
Search Issues
Patches
Show Open
Show All
Search Patches
Help
Roundup docs
Created on 2008-10-23.20:53:00 by tux_rocker, last changed 2009-08-27.14:22:20 by admin.
| Messages | |||
|---|---|---|---|
| msg6403 (view) | Author: tux_rocker | Date: 2008-10-23.20:52:56 | |
When I run "make test_unit", I get the following error:
Checking inverses being valid... *** Failed! Falsifiable (after 90 tests):
{
hunk ./test 750
-token this test
-hello test this
hunk ./vqP 2
-
-
-hello test silly
replace ./hello [A-Za-z] new old
changepref movie
a
world
changepref movie
old
new
hunk ./world 116
+token hello token
+silly token silly
hunk ./eLBW 1
-{
-}
+{
+Djertw3oZ0xo
binary ./B
oldhex
*73693c7ece11e27b73504780ea1871ee3c5e09
newhex
*
addfile
./k3c8aC/kiuxD5QjpKDCDT4vEhwG2bimFERTNSnku2iFpplg2pIlez0dCSb4ZHfmzfcRSfwUX8NA6eqhUtHSv6JIbZ
rmfile
./DtdTUje16VJAnSvceaSuBV4ia0AyVymCZfFtgOkJj9KLULQ8k3h8ML7MwpZMi38jvu/hello/test/test/hello
hunk ./test 81
-
-a is world
hunk ./world 1
-hello hello token
-
+}
hunk ./test 975
-silly a hello
+
+}
hunk ./wthOUsNPIIFN7rv5wL5d0mdpvJETFfgmBhaiFvW6aWPYCj5x1WyYXUKf82WsHBbBAgUhUrx 3
-test is silly
+a world test
+}
hunk ./world 1016
-a test test
-token token this
replace ./test [A-Za-z] old new
hunk
./jug3u9hUx6tJPZYlhMHvrwAxt19gKdBNvET055Mwc3rxIJKUF8Eq9SEaymA0zCie/hello/hello/test
351
-this a this
+world is test
+hello a a
+world world token
+{
+}
+}
+}
+94kZAi7S9VO969KqLIq2yJAkj5symvvTFsrsmP1wYic1xeyLJySEtJpoGQfhFmDlDBbLvxZxbHvWue
+
+
+silly world is
+hello is test
hunk ./test 420
-is world token
+a is hello
hunk ./world 680
-hello hello a
-test this hello
+
hunk ./test 179
+test hello world
hunk ./hello 2
-is world is
-silly hello this
-}
-a hello test
+is silly this
+
hunk ./world 3
-MzTv3rfDhCQZxFk5KRUjFCVnEzBZa
-
+this world world
+token token this
+{
hunk ./hello 682
-a test hello
+a hello a
+
hunk ./world 717
-9wHN7dAJHhENI68r2S9OVWmGKhUXa1A3F5ApsT
-}
-
move ./hello
./bNyl2yQAZFfayCSpjCw6LRhRnIFU/8WRRohG37d3Pnby2dBCIuMMmhzzIL3cdLE8Soc1nR4Ty3nGYIkr30zQqMn/hello
addfile ./DMgtXSlqC5bykCwaFroLkqJV87C3K5c3w74HzPpcm6jW3XsDgSPE
hunk ./world 149
-world token world
move ./8Sd3yADj02B1NYvBkv4jY2NPRjg17v91vLET1JUILwaaSbRAt6P5kyfPc/test/world
./Pw9aCSQgSPEw3zzJQ7NUtewMKDqzIdFxgtSZsYWhRZreeVtNpjMwA6V13hsMd
hunk ./4BUrfdHGS0xVh5s8VRlOm2pBTExh6q7sJf98zhgGL/test 1
+a this this
replace ./l0JleWecwo6sTDxOqWuJ28lXnOhV11NQQ [A-Za-z_] silly token
rmdir ./Tl3Bmo34uhcemTzoGN5Yww2MlP2phHVkUlsuz5L
addfile ./y2NLd5DH073devD3i3c4hhyRbCfp0sVNNyxm
hunk ./test 674
-{
+hello is is
hunk
./pHxG3qsPmoJMoa1Q1iGABUYy9NMy2AB4pGTCo38j2jw50vF22hCbEzbbjXuRKRik7I2lw4XngkraQ5
158
-test world silly
-hello is this
+test test this
hunk ./test 3
-token token a
-{
replace ./world [A-Za-z_] world a
changepref color
hello
token
hunk ./world 2
-silly silly a
+test test token
move ./test ./hello
hunk ./hello 883
-silly token hello
+world this test
changepref color
hello
is
changepref movie
world
token
hunk ./hello 256
-is hello this
+OhaJuQ6TVqxieUHIvvElkye3JgRBI8ItyiWSKdfrVA3
hunk ./JfW3rbJnbgss2cpvd4ReSYCd6hqLik3Z2bGyVVYWCH4GBPJTP0iOUjbhJif0w 678
+hGzdYJCATp04UWb2MM19bl8PmWqRuHXQ5swWKvjTnsvhn8t
+
hunk ./5 13
-token silly test
-
-world a a
-is world world
-{
-this a test
-this test is
-{
-{
-a world hello
-token token is
-}
-test test is
-RWh7JDirvGtuJm2hXNVHQNoj557J3q80X774F0HWgSfceNk6HrhmXKisyriOJbfO5YrKno0A
-test silly hello
-}
-this a a
-is world this
-
-token test hello
-
-{
-
-{
-token this silly
-{
+{
+world is silly
hunk ./hello 1
-world silly token
-}
-
-silly token silly
-silly this silly
-test silly this
-a hello token
-token world hello
-hello silly silly
-is is silly
-world this token
-{
-hello hello is
-}
-
-world test test
-}
+this silly test
hunk ./hello 717
-}
+a hello hello
+{
+}
}
|
|||
| msg7085 (view) | Author: twb | Date: 2009-01-14.01:09:04 | |
I can reproduce this in 2.2.0pre2, but not in HEAD (http://darcs.net). darcs-2.2.0pre2# ./unit | egrep -v 'passed|good' No failures in Darcs.Patch.Unit. There are a total of 34 primitive patches. There are a total of 384 patches. Checking patch and inverse both commutex for subcommute commute_filepatches... *** Gave up! Passed only 16 tests. Checking nontrivial commutes are correct for subcommute speedy_commute... *** Gave up! Passed only 0 tests. Checking nontrivial commutes are correct for subcommute commute_filedir... *** Gave up! Passed only 23 tests. Checking nontrivial commutes are correct for subcommute commute_filepatches... *** Gave up! Passed only 13 tests. Checking nontrivial commutes are correct for subcommute commutex... *** Gave up! Passed only 29 tests. Checking inverses fail for subcommute speedy_commute... *** Gave up! Passed only 0 tests. Checking inverses fail for subcommute commute_filedir... *** Gave up! Passed only 5 tests. Checking inverses fail for subcommute commute_filepatches... *** Gave up! Passed only 1 tests. Checking inverses fail for subcommute commutex... *** Gave up! Passed only 6 tests. Checking other inverse being valid... *** Failed! Falsifiable (after 17 tests): [...] darcs# ./unit | egrep -v 'passed|good' No failures in Darcs.Patch.Unit. There are a total of 34 primitive patches. There are a total of 384 patches. Checking patch and inverse both commutex for subcommute commute_filepatches... *** Gave up! Passed only 17 tests. Checking nontrivial commutes are correct for subcommute speedy_commute... *** Gave up! Passed only 0 tests. Checking nontrivial commutes are correct for subcommute commute_filedir... *** Gave up! Passed only 27 tests. Checking nontrivial commutes are correct for subcommute commute_filepatches... *** Gave up! Passed only 14 tests. Checking nontrivial commutes are correct for subcommute commutex... *** Gave up! Passed only 29 tests. Checking inverses fail for subcommute speedy_commute... *** Gave up! Passed only 0 tests. Checking inverses fail for subcommute commute_filedir... *** Gave up! Passed only 3 tests. Checking inverses fail for subcommute commute_filepatches... *** Gave up! Passed only 2 tests. Checking inverses fail for subcommute commutex... *** Gave up! Passed only 5 tests. darcs# darcs changes --from-tag . --count 40 |
|||
| msg8076 (view) | Author: kowey | Date: 2009-08-10.17:14:03 | |
Hi Reinier, Could you please advise on what we should do with this bug? Can we mark this as resolved? Thanks! |
|||
| msg8079 (view) | Author: tux_rocker | Date: 2009-08-10.19:52:18 | |
This is an instance of issue1412, which is fixed. |
|||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2008-10-23 20:53:00 | tux_rocker | create | |
| 2009-01-14 01:09:10 | twb | set | status: unread -> unknown nosy: + twb messages: + msg7085 |
| 2009-08-10 17:10:30 | kowey | set | topic:
+ Devel, - X_DeprecatedTopic_Testing nosy: kowey, dagit, simon, twb, thorkilnaur, tux_rocker, dmitry.kurochkin |
| 2009-08-10 17:14:06 | kowey | set | status: unknown -> waiting-for nosy: kowey, dagit, simon, twb, thorkilnaur, tux_rocker, dmitry.kurochkin assignedto: tux_rocker messages: + msg8076 title: Failed unit test -> Failed "checking inverse being valid" unit test |
| 2009-08-10 19:52:19 | tux_rocker | set | status: waiting-for -> resolved nosy: kowey, dagit, simon, twb, thorkilnaur, tux_rocker, dmitry.kurochkin superseder: + some unit tests fail sometimes messages: + msg8079 |
| 2009-08-10 23:48:58 | admin | set | nosy: - dagit |
| 2009-08-25 17:31:54 | admin | set | nosy: + darcs-devel, - simon |
| 2009-08-27 14:22:20 | admin | set | nosy: kowey, darcs-devel, twb, thorkilnaur, tux_rocker, dmitry.kurochkin |