[PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2

[Tobias Grosser]

Hi,

ppl compiles as always flawless on FreeBSD current. As I wrote some
weeks ago there are still some bugs in "make check".

1. tests/Box/Makefile.am (patch submitted)

2. test02 and test03 in tests/Box/propagateconstraints2 fail.

They only fail if compile with

gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc
or
gmake check (in ppl/, ppl/tests, or ppl/tests/Box)


compiling with

gmake propagateconstraints2 -DBOX_INSTANCE=rt_r_oc
or
gmake propagateconstraints2

fixes the test cases.

I attached the outputs of NOISY and VERY_NOISY
and the compilation of the relevant file.

Do you have any idea how to debug this?

Tobias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: propagateconstraints2.noisy
Type: text/x-patch
Size: 30292 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090330/53d81884/attachment.bin>
-------------- next part --------------
a = 6190; b = 38328481
a = 6190; b = 38328481
a = 4146; b = 17197609
a = 4146; b = 17197609
a = 3883; b = 15085456
a = 3883; b = 15085456
a = 1608; b = 2588881
a = 1608; b = 2588881
a = 12520; b = 156775441
a = 12520; b = 156775441
a = 2871; b = 8248384
a = 2871; b = 8248384
a = 4035; b = 16289296
a = 4035; b = 16289296
a = 2958; b = 8755681
a = 2958; b = 8755681
a = 27414; b = 751582225
a = 27414; b = 751582225
a = 6067; b = 36820624
a = 6067; b = 36820624
a = 7336; b = 53831569
a = 7336; b = 53831569
a = 2893; b = 8375236
a = 2893; b = 8375236
a = 5424; b = 29430625
a = 5424; b = 29430625
a = 2264; b = 5130225
a = 2264; b = 5130225
a = 3007; b = 9048064
a = 3007; b = 9048064
a = 6653; b = 44275716
a = 6653; b = 44275716
a = 1562; b = 2442969
a = 1562; b = 2442969
a = 3469; b = 12040900
a = 3469; b = 12040900
a = 6535; b = 42719296
a = 6535; b = 42719296
a = 10372; b = 107599129
a = 10372; b = 107599129
a = 7865; b = 61873956
a = 7865; b = 61873956
a = 8960; b = 80299521
a = 8960; b = 80299521
a = 6953; b = 48358116
a = 6953; b = 48358116
a = 24134; b = 582498225
a = 24134; b = 582498225
a = 5942; b = 35319249
a = 5942; b = 35319249
a = 2388; b = 5707321
a = 2388; b = 5707321
a = 3373; b = 11383876
a = 3373; b = 11383876
a = 4493; b = 20196036
a = 4493; b = 20196036
a = 8294; b = 68807025
a = 8294; b = 68807025
a = 12090; b = 146192281
a = 12090; b = 146192281
a = 4355; b = 18974736
a = 4355; b = 18974736
a = 3985; b = 15888196
a = 3985; b = 15888196
a = 3936; b = 15499969
a = 3936; b = 15499969
a = 7158; b = 51251281
a = 7158; b = 51251281
a = 3886; b = 15108769
a = 3886; b = 15108769
a = 3684; b = 13579225
a = 3684; b = 13579225
a = 20902; b = 436935409
a = 20902; b = 436935409
a = 2225; b = 4955076
a = 2225; b = 4955076
a = 7486; b = 56055169
a = 7486; b = 56055169
a = 22510; b = 506745121
a = 22510; b = 506745121
a = 7279; b = 52998400
a = 7279; b = 52998400
a = 3111; b = 9684544
a = 3111; b = 9684544
a = 2529; b = 6400900
a = 2529; b = 6400900
a = 17407; b = 303038464
a = 17407; b = 303038464
a = 15248; b = 232532001
a = 15248; b = 232532001
a = 36469; b = 1330060900
a = 36469; b = 1330060900
a = 7693; b = 59197636
a = 7693; b = 59197636
a = 11399; b = 129960000
a = 11399; b = 129960000
a = 15472; b = 239413729
a = 15472; b = 239413729
a = 37432; b = 1401229489
a = 37432; b = 1401229489
a = 3854; b = 14861025
a = 3854; b = 14861025
a = 1507; b = 2274064
a = 1507; b = 2274064
a = 3573; b = 12773476
a = 3573; b = 12773476
a = 7376; b = 54420129
a = 7376; b = 54420129
a = 6800; b = 46253601
a = 6800; b = 46253601
a = 9190; b = 84474481
a = 9190; b = 84474481
a = 3939; b = 15523600
a = 3939; b = 15523600
a = 1940; b = 3767481
a = 1940; b = 3767481
a = 17860; b = 319015321
a = 17860; b = 319015321
a = 12137; b = 147331044
a = 12137; b = 147331044
a = 5763; b = 33223696
a = 5763; b = 33223696
a = 2364; b = 5593225
a = 2364; b = 5593225
a = 14755; b = 217739536
a = 14755; b = 217739536
a = 3930; b = 15452761
a = 3930; b = 15452761
a = 6954; b = 48372025
a = 6954; b = 48372025
a = 4264; b = 18190225
a = 4264; b = 18190225
a = 5277; b = 27857284
a = 5277; b = 27857284
a = 1087; b = 1183744
a = 1087; b = 1183744
a = 2548; b = 6497401
a = 2548; b = 6497401
a = 2028; b = 4116841
a = 2028; b = 4116841
a = 4606; b = 21224449
a = 4606; b = 21224449
a = 994; b = 990025
a = 994; b = 990025
a = 5707; b = 32581264
a = 5707; b = 32581264
a = 1014; b = 1030225
a = 1014; b = 1030225
a = 2591; b = 6718464
a = 2591; b = 6718464
a = 9271; b = 85969984
a = 9271; b = 85969984
a = 1548; b = 2399401
a = 1548; b = 2399401
a = 1154; b = 1334025
a = 1154; b = 1334025
a = 8374; b = 70140625
a = 8374; b = 70140625
a = 3021; b = 9132484
a = 3021; b = 9132484
a = 6454; b = 41667025
a = 6454; b = 41667025
a = 2911; b = 8479744
a = 2911; b = 8479744
a = 2086; b = 4355569
a = 2086; b = 4355569
a = 7735; b = 59845696
a = 7735; b = 59845696
a = 2142; b = 4592449
a = 2142; b = 4592449
a = 9506; b = 90383049
a = 9506; b = 90383049
a = 9384; b = 88078225
a = 9384; b = 88078225
a = 24794; b = 614792025
a = 24794; b = 614792025
a = 32034; b = 1026241225
a = 32034; b = 1026241225
a = 35024; b = 1226750625
a = 35024; b = 1226750625
a = 25242; b = 637209049
a = 25242; b = 637209049
a = 30756; b = 945993049
a = 30756; b = 945993049
a = 858; b = 737881
a = 858; b = 737881
a = 3229; b = 10432900
a = 3229; b = 10432900
a = 16154; b = 260984025
a = 16154; b = 260984025
a = 11705; b = 137030436
a = 11705; b = 137030436
a = 51589; b = 2661528100
a = 51589; b = 2661528100
a = 23416; b = 548355889
a = 23416; b = 548355889
a = 12367; b = 152967424
a = 12367; b = 152967424
a = 4845; b = 23483716
a = 4845; b = 23483716
a = 2900; b = 8415801
a = 2900; b = 8415801
a = 7848; b = 61606801
a = 7848; b = 61606801
a = 2146; b = 4609609
a = 2146; b = 4609609
a = 1760; b = 3101121
a = 1760; b = 3101121
a = 4443; b = 19749136
a = 4443; b = 19749136
a = 8182; b = 66961489
a = 8182; b = 66961489
a = 7074; b = 50055625
a = 7074; b = 50055625
a = 1177; b = 1387684
a = 1177; b = 1387684
a = 1311; b = 1721344
a = 1311; b = 1721344
a = 1792; b = 3214849
a = 1792; b = 3214849
a = 1000; b = 1002001
a = 1000; b = 1002001
a = 7420; b = 55071241
a = 7420; b = 55071241
a = 433; b = 188356
a = 433; b = 188356
a = 3284; b = 10791225
a = 3284; b = 10791225
a = 2705; b = 7322436
a = 2705; b = 7322436
a = 3051; b = 9314704
a = 3051; b = 9314704
a = 2035; b = 4145296
a = 2035; b = 4145296
a = 2633; b = 6937956
a = 2633; b = 6937956
a = 1831; b = 3356224
a = 1831; b = 3356224
a = 14460; b = 209120521
a = 14460; b = 209120521
a = 7997; b = 63968004
a = 7997; b = 63968004
a = 6936; b = 48121969
a = 6936; b = 48121969
a = 47594; b = 2265284025
a = 47594; b = 2265284025
a = 3886; b = 15108769
a = 3886; b = 15108769
a = 735; b = 541696
a = 735; b = 541696
a = 9280; b = 86136961
a = 9280; b = 86136961
a = 4822; b = 23261329
a = 4822; b = 23261329
a = 22340; b = 499120281
a = 22340; b = 499120281
a = 1611; b = 2598544
a = 1611; b = 2598544
a = 3257; b = 10614564
a = 3257; b = 10614564
a = 25356; b = 642977449
a = 25356; b = 642977449
a = 1645; b = 2709316
a = 1645; b = 2709316
a = 1358; b = 1846881
a = 1358; b = 1846881
a = 3889; b = 15132100
a = 3889; b = 15132100
a = 5065; b = 25664356
a = 5065; b = 25664356
a = 2555; b = 6533136
a = 2555; b = 6533136
a = 946; b = 896809
a = 946; b = 896809
a = 910; b = 829921
a = 910; b = 829921
a = 23828; b = 567821241
a = 23828; b = 567821241
a = 7910; b = 62583921
a = 7910; b = 62583921
a = 6190; b = 38328481
a = 6190; b = 38328481
a = 4146; b = 17197609
a = 4146; b = 17197609
a = 3883; b = 15085456
a = 3883; b = 15085456
a = 1608; b = 2588881
a = 1608; b = 2588881
a = 12520; b = 156775441
a = 12520; b = 156775441
a = 2871; b = 8248384
a = 2871; b = 8248384
a = 4035; b = 16289296
a = 4035; b = 16289296
a = 2958; b = 8755681
a = 2958; b = 8755681
a = 27414; b = 751582225
a = 27414; b = 751582225
a = 6067; b = 36820624
a = 6067; b = 36820624
a = 7336; b = 53831569
a = 7336; b = 53831569
a = 2893; b = 8375236
a = 2893; b = 8375236
a = 5424; b = 29430625
a = 5424; b = 29430625
a = 2264; b = 5130225
a = 2264; b = 5130225
a = 3007; b = 9048064
a = 3007; b = 9048064
a = 6653; b = 44275716
a = 6653; b = 44275716
a = 1562; b = 2442969
a = 1562; b = 2442969
a = 3469; b = 12040900
a = 3469; b = 12040900
a = 6535; b = 42719296
a = 6535; b = 42719296
a = 10372; b = 107599129
a = 10372; b = 107599129
a = 7865; b = 61873956
a = 7865; b = 61873956
a = 8960; b = 80299521
a = 8960; b = 80299521
a = 6953; b = 48358116
a = 6953; b = 48358116
a = 24134; b = 582498225
a = 24134; b = 582498225
a = 5942; b = 35319249
a = 5942; b = 35319249
a = 2388; b = 5707321
a = 2388; b = 5707321
a = 3373; b = 11383876
a = 3373; b = 11383876
a = 4493; b = 20196036
a = 4493; b = 20196036
a = 8294; b = 68807025
a = 8294; b = 68807025
a = 12090; b = 146192281
a = 12090; b = 146192281
a = 4355; b = 18974736
a = 4355; b = 18974736
a = 3985; b = 15888196
a = 3985; b = 15888196
a = 3936; b = 15499969
a = 3936; b = 15499969
a = 7158; b = 51251281
a = 7158; b = 51251281
a = 3886; b = 15108769
a = 3886; b = 15108769
a = 3684; b = 13579225
a = 3684; b = 13579225
a = 20902; b = 436935409
a = 20902; b = 436935409
a = 2225; b = 4955076
a = 2225; b = 4955076
a = 7486; b = 56055169
a = 7486; b = 56055169
a = 22510; b = 506745121
a = 22510; b = 506745121
a = 7279; b = 52998400
a = 7279; b = 52998400
a = 3111; b = 9684544
a = 3111; b = 9684544
a = 2529; b = 6400900
a = 2529; b = 6400900
a = 17407; b = 303038464
a = 17407; b = 303038464
a = 15248; b = 232532001
a = 15248; b = 232532001
a = 36469; b = 1330060900
a = 36469; b = 1330060900
a = 7693; b = 59197636
a = 7693; b = 59197636
a = 11399; b = 129960000
a = 11399; b = 129960000
a = 15472; b = 239413729
a = 15472; b = 239413729
a = 37432; b = 1401229489
a = 37432; b = 1401229489
a = 3854; b = 14861025
a = 3854; b = 14861025
a = 1507; b = 2274064
a = 1507; b = 2274064
a = 3573; b = 12773476
a = 3573; b = 12773476
a = 7376; b = 54420129
a = 7376; b = 54420129
a = 6800; b = 46253601
a = 6800; b = 46253601
a = 9190; b = 84474481
a = 9190; b = 84474481
a = 3939; b = 15523600
a = 3939; b = 15523600
a = 1940; b = 3767481
a = 1940; b = 3767481
a = 17860; b = 319015321
a = 17860; b = 319015321
a = 12137; b = 147331044
a = 12137; b = 147331044
a = 5763; b = 33223696
a = 5763; b = 33223696
a = 2364; b = 5593225
a = 2364; b = 5593225
a = 14755; b = 217739536
a = 14755; b = 217739536
a = 3930; b = 15452761
a = 3930; b = 15452761
a = 6954; b = 48372025
a = 6954; b = 48372025
a = 4264; b = 18190225
a = 4264; b = 18190225
a = 5277; b = 27857284
a = 5277; b = 27857284
a = 1087; b = 1183744
a = 1087; b = 1183744
a = 2548; b = 6497401
a = 2548; b = 6497401
a = 2028; b = 4116841
a = 2028; b = 4116841
a = 4606; b = 21224449
a = 4606; b = 21224449
a = 994; b = 990025
a = 994; b = 990025
a = 5707; b = 32581264
a = 5707; b = 32581264
a = 1014; b = 1030225
a = 1014; b = 1030225
a = 2591; b = 6718464
a = 2591; b = 6718464
a = 9271; b = 85969984
a = 9271; b = 85969984
a = 1548; b = 2399401
a = 1548; b = 2399401
a = 1154; b = 1334025
a = 1154; b = 1334025
a = 8374; b = 70140625
a = 8374; b = 70140625
a = 3021; b = 9132484
a = 3021; b = 9132484
a = 6454; b = 41667025
a = 6454; b = 41667025
a = 2911; b = 8479744
a = 2911; b = 8479744
a = 2086; b = 4355569
a = 2086; b = 4355569
a = 7735; b = 59845696
a = 7735; b = 59845696
a = 2142; b = 4592449
a = 2142; b = 4592449
a = 9506; b = 90383049
a = 9506; b = 90383049
a = 9384; b = 88078225
a = 9384; b = 88078225
a = 24794; b = 614792025
a = 24794; b = 614792025
a = 32034; b = 1026241225
a = 32034; b = 1026241225
a = 35024; b = 1226750625
a = 35024; b = 1226750625
a = 25242; b = 637209049
a = 25242; b = 637209049
a = 30756; b = 945993049
a = 30756; b = 945993049
a = 858; b = 737881
a = 858; b = 737881
a = 3229; b = 10432900
a = 3229; b = 10432900
a = 16154; b = 260984025
a = 16154; b = 260984025
a = 11705; b = 137030436
a = 11705; b = 137030436
a = 51589; b = 2661528100
a = 51589; b = 2661528100
a = 23416; b = 548355889
a = 23416; b = 548355889
a = 12367; b = 152967424
a = 12367; b = 152967424
a = 4845; b = 23483716
a = 4845; b = 23483716
a = 2900; b = 8415801
a = 2900; b = 8415801
a = 7848; b = 61606801
a = 7848; b = 61606801
a = 2146; b = 4609609
a = 2146; b = 4609609
a = 1760; b = 3101121
a = 1760; b = 3101121
a = 4443; b = 19749136
a = 4443; b = 19749136
a = 8182; b = 66961489
a = 8182; b = 66961489
a = 7074; b = 50055625
a = 7074; b = 50055625
a = 1177; b = 1387684
a = 1177; b = 1387684
a = 1311; b = 1721344
a = 1311; b = 1721344
a = 1792; b = 3214849
a = 1792; b = 3214849
a = 1000; b = 1002001
a = 1000; b = 1002001
a = 7420; b = 55071241
a = 7420; b = 55071241
a = 433; b = 188356
a = 433; b = 188356
a = 3284; b = 10791225
a = 3284; b = 10791225
a = 2705; b = 7322436
a = 2705; b = 7322436
a = 3051; b = 9314704
a = 3051; b = 9314704
a = 2035; b = 4145296
a = 2035; b = 4145296
a = 2633; b = 6937956
a = 2633; b = 6937956
a = 1831; b = 3356224
a = 1831; b = 3356224
a = 14460; b = 209120521
a = 14460; b = 209120521
a = 7997; b = 63968004
a = 7997; b = 63968004
a = 6936; b = 48121969
a = 6936; b = 48121969
a = 47594; b = 2265284025
a = 47594; b = 2265284025
a = 3886; b = 15108769
a = 3886; b = 15108769
a = 735; b = 541696
a = 735; b = 541696
a = 9280; b = 86136961
a = 9280; b = 86136961
a = 4822; b = 23261329
a = 4822; b = 23261329
a = 22340; b = 499120281
a = 22340; b = 499120281
a = 1611; b = 2598544
a = 1611; b = 2598544
a = 3257; b = 10614564
a = 3257; b = 10614564
a = 25356; b = 642977449
a = 25356; b = 642977449
a = 1645; b = 2709316
a = 1645; b = 2709316
a = 1358; b = 1846881
a = 1358; b = 1846881
a = 3889; b = 15132100
a = 3889; b = 15132100
a = 5065; b = 25664356
a = 5065; b = 25664356
a = 2555; b = 6533136
a = 2555; b = 6533136
a = 946; b = 896809
a = 946; b = 896809
a = 910; b = 829921
a = 910; b = 829921
a = 23828; b = 567821241
a = 23828; b = 567821241
a = 7910; b = 62583921
a = 7910; b = 62583921
a = 599; b = 360000
a = 2871; b = 8248384
a = 599; b = 360000
a = 2871; b = 8248384
a = 599; b = 360000
a = 2871; b = 8248384
a = 599; b = 360000
a = 2871; b = 8248384
-------------- next part --------------
A non-text attachment was scrubbed...
Name: compile.log
Type: text/x-log
Size: 2680 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090330/53d81884/attachment-0001.bin>