Created
March 24, 2015 14:15
-
-
Save jlouis/39de114e0a447af983a5 to your computer and use it in GitHub Desktop.
Examples of maps() failures on 17.4.1
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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