Skip to content

Instantly share code, notes, and snippets.

@jlouis

jlouis/maps_run_1.txt

Created March 24, 2015 14:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jlouis/39de114e0a447af983a5 to your computer and use it in GitHub Desktop.
Save jlouis/39de114e0a447af983a5 to your computer and use it in GitHub Desktop.
Download ZIP
Examples of maps() failures on 17.4.1
Raw
maps_run_1.txt
6> eqc:module({testing_budget, 20}, maps_iso_eqc).
prop_list_iso_fg: ....................................................................................................(x10)....................................................................................................(x100).................................(x10)..(x1)........
Time limit reached: 5.0 seconds.
OK, passed 4428 tests
prop_list_iso_gf: ....................................................................................................(x10)....................................................................................................(x100)..................(x10)...(x1).
Time limit reached: 5.0 seconds.
OK, passed 2931 tests
prop_binary_iso_fg: .Failed! After 2 tests.
[[],#{2305433247 => 823241815,4685415082 => -3142802547}]
#{2305433247 => 823241815,4685415082 => -3142802547} /= #{4685415082 => -3142802547,
2305433247 => 823241815}
Shrinking xx..xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...........................x.xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx(30 times)
[[],#{0 => 0,2147483648 => 0}]
#{0 => 0,2147483648 => 0} /= #{2147483648 => 0,0 => 0}
prop_merge: ....................................................................................................(x10)....................................Failed! After 461 tests.
[#{-9941047807 => -8284845198,
-9757783312 => -3889871885,
-9578037014 => 3949894916,
-9338247041 => 7215105408,
-9327512671 => -822777434,
-9240490793 => 6895075636,
-8410502587 => 5936353632,
-8177308317 => -6355044661,
-7940628231 => 4504248321,
-7440228311 => -2520410647,
-7058114786 => 1098352410,
-6817893985 => -358566390,
-6730860753 => -8401459353,
-6418970668 => -3247217874,
-6012743078 => -6327317005,
-5741670025 => -2699067691,
-5067535564 => 8135661222,
-4967323203 => -7447311066,
-4942667626 => -8986702898,
-4710430458 => -2328819090,
-4680440255 => -9368059126,
-3280183463 => true,
-2719280932 => 701332292,
-2212437785 => -9298149136,
-2046329770 => 1007422301,
-1906916080 => -6472307843,
-1881997662 => 7738495911,
-1268405789 => 8831159574,
-374607466 => -4519536660,
-280032541 => -7556841420,
-115334961 => waters,
0 => -2829979022,
2 => 5009523840,
43 => -6672984028,
185 => 8884605192,
327291316 => 1168456483,
938390553 => stone,
979293526 => 4229274551,
1325178092 => 300275825,
1372875478 => 3090991019,
1668545341 => -455899488,
1778201890 => 1783223491,
1984436336 => -9540996852,
2391009285 => -7726780709,
2487529444 => -1780155135,
2958457135 => -4083736345,
3171491365 => -1757242274,
3558323050 => -8562797968,
4301459137 => 151017191,
4699487733 => -5540269734,
4892463481 => 1451248194,
5032629928 => 1198592217,
5524219592 => -7882600520,
5561566771 => 9600663007,
6836641994 => 586348856,
7735751410 => 4192270685,
8577963182 => -8568962005,
8778616491 => 9444389049,
8970285007 => -519967746,
9346161482 => 8845689753,
9372902844 => -4717978220,
false => -5048289131,
hill => -8283938076,
#Fun<eqc_gen.133.121384563> => 8064513367,
#Fun<eqc_gen.133.121384563> => -3445479075,
<<"^">> => 3971062429},
#{-8833638414 => 1248729154,
-466452850 => -653644801,
-253732308 => 553642473,
0 => 1725159663,
1361082519 => 1040969800}]
Shrinking ..................................................xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx(x10)xxxx.xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx.x.xxxxxxxxxxxxxxxxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxxxxxxxxx(x100)xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxxxxx(x10).xxxxxx(x1).........xxx(209 times)
[#{-2147483649 => 0,
0 => 0,
97 => 0,
false => 0,
flower => 0,
#Fun<eqc_gen.133.121384563> => 0,
#Fun<eqc_gen.133.121384563> => 0,
<<>> => 0},
#{0 => 1}]
[prop_binary_iso_fg,prop_merge]
Raw
maps_run_2.txt
8> eqc:module({testing_budget, 20}, maps_iso_eqc).
prop_list_iso_fg: ....................................................................................................(x10)....................................................................................................(x100)........................(x10)...(x1)...
Time limit reached: 5.0 seconds.
OK, passed 3533 tests
prop_list_iso_gf: ....................................................................................................(x10)....................................................................................................(x100)................(x10)......(x1)...
Time limit reached: 5.0 seconds.
OK, passed 2763 tests
prop_binary_iso_fg: .Failed! After 2 tests.
[[{minor_version,0}],
#{-8947642380 => 5160276987,
-8433846997 => 5659981719,
-8267758410 => 9239282875,
-8101906514 => 2158730795,
-8057699483 => 7728166339,
-7219710143 => 2220400836,
-5410187580 => 8294993912,
-5018811355 => -986048158,
-3793914597 => 8648127397,
-2699947138 => -7834380268,
-327226119 => -6785034822,
234526625 => 4718483175,
540614974 => -3903383773,
880718995 => 2817789862,
880774572 => -6875953857,
1525678758 => -8887105633,
2108778882 => -1911619081,
2329583666 => -7561458795,
2432843087 => <<>>,
2896834076 => 7528829925,
3140632063 => -4341234177,
4731673505 => -5954144226,
6014140515 => -8247825148,
6135233999 => 8496340432,
6942282493 => -4152309571,
7026915706 => 6441833950,
7485904129 => -1053817135,
8181132463 => 932237489,
8764276536 => 2761472665,
9235687575 => -3565686309,
9660608099 => -6073397634,
9714553469 => 6892825482,
#Fun<eqc_gen.133.121384563> => -7298440514}]
#{-8947642380 => 5160276987,
-8433846997 => 5659981719,
-8267758410 => 9239282875,
-8101906514 => 2158730795,
-8057699483 => 7728166339,
-7219710143 => 2220400836,
-5410187580 => 8294993912,
-5018811355 => -986048158,
-3793914597 => 8648127397,
-2699947138 => -7834380268,
-327226119 => -6785034822,
234526625 => 4718483175,
540614974 => -3903383773,
880718995 => 2817789862,
880774572 => -6875953857,
1525678758 => -8887105633,
2108778882 => -1911619081,
2329583666 => -7561458795,
2432843087 => <<>>,
2896834076 => 7528829925,
3140632063 => -4341234177,
4731673505 => -5954144226,
6014140515 => -8247825148,
6135233999 => 8496340432,
6942282493 => -4152309571,
7026915706 => 6441833950,
7485904129 => -1053817135,
8181132463 => 932237489,
8764276536 => 2761472665,
9235687575 => -3565686309,
9660608099 => -6073397634,
9714553469 => 6892825482,
#Fun<eqc_gen.133.121384563> => -7298440514} /= #{-8947642380 => 5160276987,
-8433846997 => 5659981719,
-8267758410 => 9239282875,
-8101906514 => 2158730795,
-8057699483 => 7728166339,
-7219710143 => 2220400836,
-5410187580 => 8294993912,
-5018811355 => -986048158,
-327226119 => -6785034822,
234526625 => 4718483175,
-3793914597 => 8648127397,
540614974 => -3903383773,
880718995 => 2817789862,
880774572 => -6875953857,
1525678758 => -8887105633,
-2699947138 => -7834380268,
2108778882 => -1911619081,
2329583666 => -7561458795,
2432843087 => <<>>,
2896834076 => 7528829925,
3140632063 => -4341234177,
4731673505 => -5954144226,
6014140515 => -8247825148,
6135233999 => 8496340432,
6942282493 => -4152309571,
7026915706 => 6441833950,
7485904129 => -1053817135,
8181132463 => 932237489,
8764276536 => 2761472665,
9235687575 => -3565686309,
9660608099 => -6073397634,
9714553469 => 6892825482,
#Fun<eqc_gen.133.121384563> => -7298440514}
Shrinking .............................................................xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx........(x10)..xxx(x1)...xxx(92 times)
[[{minor_version,0}],#{0 => 0,2147483648 => 0,#Fun<eqc_gen.133.121384563> => 0}]
#{0 => 0,2147483648 => 0,#Fun<eqc_gen.133.121384563> => 0} /= #{2147483648 => 0,
0 => 0,
#Fun<eqc_gen.133.121384563> => 0}
prop_merge: ....................................................................................................(x10).................................................................................................(x1).Failed! After 1072 tests.
[#{-2230649485 => 9192195883,
-1125767190 => 301287593,
7 => -438370364,
2988347377 => -6606543765,
3610892777 => -8599712069},
#{-9865924834 => 1521372046,
-9799756497 => -225526879,
-9760280098 => 8220255984,
-9711656164 => 6302529375,
-9691131463 => -1729468511,
-9687633506 => 5309679972,
-9676946009 => -6634192650,
-9584043837 => -5263765612,
-9529579813 => 75,
-9480003109 => -9767504021,
-9472343684 => 4370064277,
-9446803034 => -6331465699,
-9357122294 => true,
-9121915282 => 5821726928,
-9097366853 => -7093970644,
-9042056795 => -1687346589,
-8660376075 => -1271834030,
-8418826427 => 218243028,
-8311074716 => 7546766115,
-8136944026 => 4552513434,
-7981194228 => -6717341518,
-7882949657 => 3801304638,
-7699362722 => -1,
-7408171874 => -938801098,
-7385866171 => 8286232831,
-7295797416 => 8434900355,
-7279466040 => -8183743634,
-7210731024 => -8966795654,
-7162406593 => -9158797481,
-7095913652 => 3850350059,
-7026708840 => 8078341421,
-6925132125 => -2014786110,
-6860651421 => -1048177629,
-6789452310 => -3287778840,
-6771455721 => -1115435109,
-6765846587 => -1872092456,
-6703928419 => 9980831976,
-6621430320 => 1444404186,
-6516258431 => 7219938939,
-6325759550 => 6328457885,
-6235426798 => -8183822139,
-6123122311 => 7156156715,
-6093843128 => 3669194655,
-6092494676 => -8800875031,
-6035525238 => 3284799945,
-6030551217 => -7435381250,
-5671511708 => -359076754,
-5553307228 => 1469733331,
-5548248882 => -4094870031,
-5476761686 => 5702453864,
-5446900326 => 981271211,
-5438484610 => -8027299320,
-5260081982 => -6415885020,
-5197660612 => 8401564183,
-5166165662 => 2845831798,
-5136561645 => -5137393179,
-5067320971 => 1428873313,
-4937795597 => -4393655898,
-4770247917 => 203,
-4573395123 => 1327649108,
-4473141139 => -7703230634,
-4372626703 => 5845721483,
-4363937981 => -1463401752,
-4240090504 => 1732514476,
-4234765064 => -5498544876,
-4174127059 => 4915071263,
-4025775663 => 7558421542,
-3998944872 => 8941767598,
-3950586231 => -8863219514,
-3887139081 => -3711146278,
-3819128387 => 7244512389,
-3756532578 => -4500542750,
-3661644927 => -9542548987,
-3374934504 => 6506411111,
-3334589133 => 7341372558,
-3324588727 => -9993313647,
-3183165989 => -794417841,
-3153297621 => -3348203971,
-3144531750 => 2431210591,
-3001928908 => -3231761934,
-2957795042 => 4619635496,
-2830276552 => -6838105124,
-2518475766 => 2598565176,
-2489939700 => -3341150802,
-2237750109 => -7759500603,
-2226227257 => -4170973358,
-2169168061 => -6888604425,
-2093593833 => 6832608363,
-2085157635 => 9139141262,
-1945321674 => 204065760,
-1938125761 => -6498784936,
-1862651483 => -3845815779,
-1464467909 => -6505291793,
-1425023864 => 180,
-1418942514 => 3049310540,
-1365982847 => false,
-1326928486 => -5904076940,
-1303505905 => 1018433376,
-1269854517 => #Fun<eqc_gen.133.121384563>,
-1239380141 => -2253574422,
-1053787759 => 6756397028,
-786579875 => -2781635741,
-743783692 => 3381291661,
-661057778 => -4398439979,
-565290159 => 3001036874,
-464169340 => -6408768289,
-316364568 => -5039728825,
-309273118 => 740218533,
-237427854 => -9369413437,
-4 => 2549584634,
-3 => -6624117180,
7 => sand,
15 => -9106755918,
47 => 9695657506,
190 => -6213025114,
25791031 => hill,
182859343 => 314503837,
205049155 => -1516882427,
248825913 => -1548904708,
275841570 => -1417938510,
313710627 => -8429414351,
358507799 => -8662445668,
466671948 => 2043067841,
480618468 => -8466262384,
547000006 => -4090852398,
1017406766 => -8657441219,
1077262221 => -5151838819,
1083456767 => 5019012592,
1162626115 => 8639977802,
1387108963 => 2102442761,
1420023843 => 1605969914,
1580600796 => 8572029224,
1626824288 => -3722468773,
1655392474 => -1224692653,
1709820545 => 2197839694,
1772426342 => -571831037,
1838145761 => 9370496645,
1856229595 => 8124491613,
2075262733 => 4010662345,
2163371250 => 3123037673,
2392700208 => 5887547925,
2411644344 => false,
2428987573 => 2626652099,
2438095956 => 954010633,
2530988569 => -2710060306,
2565569495 => -538740870,
2575117338 => -8682969616,
2622222347 => -7360776724,
2668538010 => 3153391745,
2833163299 => 2367784048,
2835960296 => -7891549572,
2942899476 => -9475469924,
3056554168 => 3493586348,
3118231259 => -4298121727,
3134283997 => 8401053680,
3160735647 => 9301033234,
3316371761 => -8615071096,
3377657694 => -4926755512,
3417030654 => 9930692964,
3516775647 => 160323579,
3730583452 => -1540017077,
3897461436 => 8212846543,
3950053046 => -8630291902,
4195805910 => 5095057190,
4301295776 => -4991132050,
4419962439 => 3933938010,
4423933364 => 7035950770,
4460163946 => -852901360,
4544785242 => -5868880854,
4572331776 => -1370800131,
4608338191 => -9955890093,
4633573201 => -2367763810,
4651025802 => -3972909440,
4695080250 => -9978796856,
4732495268 => -4112347345,
4806041458 => 4746080544,
4837651687 => -6015155651,
4842224492 => 8619215761,
4847757523 => -6939467098,
4882649366 => 4183699305,
5037927614 => 8598500265,
5052249256 => -9564402591,
5087864874 => -7550528150,
5221145135 => 7326354823,
5227283168 => 1184398818,
5250494630 => -8026142432,
5267564327 => 2589977690,
5339840869 => -3668069053,
5710138376 => 2111108671,
5720642086 => 4041119319,
5746090172 => 9299011154,
5751222854 => 8191172952,
5751906854 => 1650230299,
5790732772 => -9885421665,
6020480152 => 113,
6043740393 => -9490769972,
6210569521 => -4895018012,
6357428592 => -2094251919,
6405983441 => 7269876441,
6598635553 => 3640071205,
6671612577 => -9627166005,
6802819100 => 8012209376,
6894076334 => -7049404776,
6906131436 => 4941338174,
6994644518 => #Fun<eqc_gen.133.121384563>,
7013713534 => 4723157062,
7416036125 => 44473711,
7487632361 => true,
7488481603 => 3,
7619809259 => -6030517503,
7703006778 => 7535974758,
7835415214 => 1732295817,
7908674195 => 3394210807,
7910292575 => -9851122926,
7942456662 => -9909130934,
7955002626 => 2399940892,
8029460621 => -2945999429,
8443896605 => -5153481288,
8573097049 => -8042696977,
8626245653 => 1274296976,
8721617491 => -5415797601,
8815827710 => 1937703874,
8887431302 => -8894759760,
9020513841 => 9810114389,
9076108959 => -5270413510,
9136027852 => -5090151554,
9279891489 => -7904164321,
9499709014 => -1304769390,
9583852384 => 4204755439,
9595583670 => 2773567888,
9620343523 => -9304727487,
9657115452 => -2755961524,
9775158900 => 5072762765,
9806012180 => 8076518119,
9920831653 => 7061538774,
9945450163 => 1776329472,
true => 1344692494,
#Fun<eqc_gen.131.121384563> => -4081111182,
#Fun<eqc_gen.131.121384563> => #Fun<eqc_gen.131.121384563>,
#Fun<eqc_gen.131.121384563> => 6645040999,
#Fun<eqc_gen.131.121384563> => -231441560,
#Fun<eqc_gen.131.121384563> => 2172051368,
#Fun<eqc_gen.133.121384563> => #{4 => <<11:6>>},
#Fun<eqc_gen.133.121384563> => -5852839350,
#Fun<eqc_gen.133.121384563> => 9364613994,
#Fun<eqc_gen.133.121384563> => -9777042390,
[false,85,#Fun<eqc_gen.131.121384563>] => -4983363781,
<<>> => -921184399,
<<2:5>> => 2169050130,
<<9:6>> => -6557442371,
<<68,140,192>> => 582795362,
<<41:6>> => -3389690477,
<<"È">> => 6636451384,
<<"ð$b">> => -1339420382}]
Shrinking .........xxx.xxx..xxxxx...xxxxxxxxxx................................................................(x10)......x.....x....x......x....x.....x..........x...x.....x......x...x.....x.........x...x.....x......(x100)x.xx..xxxxx(x10)......xx(1289 times)
[#{0 => 0,#Fun<eqc_gen.131.121384563> => 0},
#{-2147483648 => 0,
0 => 1,
97 => 0,
false => 0,
#Fun<eqc_gen.131.121384563> => 0,
#Fun<eqc_gen.131.121384563> => #Fun<eqc_gen.131.121384563>,
#Fun<eqc_gen.131.121384563> => 0,
#Fun<eqc_gen.131.121384563> => 0,
#Fun<eqc_gen.131.121384563> => 0,
#Fun<eqc_gen.133.121384563> => #{},
#Fun<eqc_gen.133.121384563> => 0,
#Fun<eqc_gen.133.121384563> => 0,
#Fun<eqc_gen.133.121384563> => 0,
[] => 0,
<<>> => 0}]
[prop_binary_iso_fg,prop_merge]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment