Skip to content

Instantly share code, notes, and snippets.

@jlouis

jlouis/fail_routing_table.txt

Created September 27, 2014 17:17
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/200322e891c56d51f560 to your computer and use it in GitHub Desktop.
Save jlouis/200322e891c56d51f560 to your computer and use it in GitHub Desktop.
Download ZIP
Failed Routing table test
Raw
fail_routing_table.txt
47> eqc:module({testing_time, 60}, dht_routing_table_eqc).
prop_seq: ....................................................................................................(x10)......................................................................................(x1)...Failed! After 964 tests.
[{set,{var,1},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,2},
{call,dht_routing_table_eqc,has_bucket,
[{660458869799682934959721832362753874361116000256,
660815681722859424929986403855116248145211686912}]}},
{set,{var,3},
{call,dht_routing_table_eqc,range,
[1103605397128662530547004573024933458597958554231,
148116011658109815376470744111735725551516508863]}},
{set,{var,4},
{call,dht_routing_table_eqc,delete_not_existing,
[{511285527982270299672598472729888880336037877716,
{110,153,168,218},
36293},
34957415826356088833260707416132394350223650697]}},
{set,{var,5},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,6},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,7},
{call,dht_routing_table_eqc,delete_not_existing,
[{1114535206134460209371493298950797577682837214832,
{211,167,117,175},
18938},
518888309199934966642054476626471838496150793439]}},
{set,{var,8},
{call,dht_routing_table_eqc,has_bucket,
[{730750818665451459101842416358141509827966271488,
1461501637330902918203684832716283019655932542976}]}},
{set,{var,9},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,10},
{call,dht_routing_table_eqc,range,
[1272095515213990645214095079928832828216049565916,
105161427119239487833768792362575196747108906097]}},
{set,{var,11},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,12},
{call,dht_routing_table_eqc,range,
[98470165433597266308302812793089276095116341666,
1390853374378050718631006775590600466007303935968]}},
{set,{var,13},
{call,dht_routing_table_eqc,insert,
[661037928224787161339805612081755465160406541803,
{1398432885819652897243831867594225263936333007594,
{80,57,59,201},
32014}]}},
{set,{var,14},
{call,dht_routing_table_eqc,delete_not_existing,
[{153649670003073173649285342594462053659719590703,
{246,202,71,54},
36378},
277060387887563835786176621696057860363491820639]}},
{set,{var,15},
{call,dht_routing_table_eqc,delete,
[{1398432885819652897243831867594225263936333007594,
{80,57,59,201},
32014},
816327636873119194993250461343676347061758664021]}},
{set,{var,16},
{call,dht_routing_table_eqc,insert,
[565185864573828204138744834350940748726109044061,
{246001096341049153266570869148668896146292602042,
{95,8,190,189},
1853}]}},
{set,{var,17},
{call,dht_routing_table_eqc,has_bucket,
[{730750818665451459101842416358141509827966271488,
913438523331814323877303020447676887284957839360}]}},
{set,{var,18},
{call,dht_routing_table_eqc,delete_not_existing,
[{241883099436973562397971092218671687377614518197,
{37,115,156,45},
16716},
660105721008538994282912390053421881445184403783]}},
{set,{var,19},
{call,dht_routing_table_eqc,has_bucket,
[{0,365375409332725729550921208179070754913983135744}]}},
{set,{var,20},
{call,dht_routing_table_eqc,insert,
[896718355869251044676016064176381760228470366694,
{123558204505594525653262012201678407008836541328,
{60,188,23,122},
10167}]}},
{set,{var,21},
{call,dht_routing_table_eqc,insert,
[461395157258954924639068997279856799576862012279,
{220263972841563872707962592654523039450195556810,
{233,197,230,50},
15858}]}},
{set,{var,22},
{call,dht_routing_table_eqc,is_member,
[{123558204505594525653262012201678407008836541328,
{60,188,23,122},
10167},
499014500215333749398371017060472266371182259327]}},
{set,{var,23},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,24},
{call,dht_routing_table_eqc,has_bucket,
[{45671926166590716193865151022383844364247891968,
91343852333181432387730302044767688728495783936}]}},
{set,{var,25},
{call,dht_routing_table_eqc,insert,
[414199208035198317291749253993862681326721733292,
{296974162895324132044525955031135231455945227216,
{116,228,209,144},
26992}]}},
{set,{var,26},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,27},
{call,dht_routing_table_eqc,insert,
[57098989545526507719709756108034824635600369753,
{511119308069552318690032637025993974577541183646,
{172,34,29,46},
28751}]}},
{set,{var,28},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,29},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,30},
{call,dht_routing_table_eqc,has_bucket,
[{730750818665451459101842416358141509827966271488,
1461501637330902918203684832716283019655932542976}]}},
{set,{var,31},
{call,dht_routing_table_eqc,members,
[511119308069552318690032637025993974577541183646,
492475549679977491656877590121578344421316231580]}},
{set,{var,32},
{call,dht_routing_table_eqc,has_bucket,
[{0,1461501637330902918203684832716283019655932542976}]}},
{set,{var,33},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,34},
{call,dht_routing_table_eqc,is_member,
[{511119308069552318690032637025993974577541183646,
{172,34,29,46},
28751},
479421454873107689357959514878895650417217966524]}},
{set,{var,35},
{call,dht_routing_table_eqc,members,
[296974162895324132044525955031135231455945227216,
329672207270111690664733750804352383224972031920]}},
{set,{var,36},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,37},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,38},
{call,dht_routing_table_eqc,insert,
[862604719664703610703641548943993192594363484235,
{22488319260501436301636452130291591654586603693,
{222,252,116,115},
19535}]}},
{set,{var,39},
{call,dht_routing_table_eqc,insert,
[686798217043696070740221117509701183373682310076,
{611891159740959235969195225204468728268675323239,
{246,229,176,101},
9838}]}},
{set,{var,40},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,41},
{call,dht_routing_table_eqc,is_member,
[{511119308069552318690032637025993974577541183646,
{172,34,29,46},
28751},
1053141550041040865515947194999571425920871930285]}},
{set,{var,42},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,43},
{call,dht_routing_table_eqc,delete_not_existing,
[{379496466877944620847755818596770047099704620354,
{175,59,111,66},
16562},
1299256022426157265699590645094252430014572283115]}},
{set,{var,44},
{call,dht_routing_table_eqc,range,
[1400812155285390595193933782697249991311559052024,
432432340137425521670809530335592988094872245347]}},
{set,{var,45},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,46},
{call,dht_routing_table_eqc,is_member,
[{1398432885819652897243831867594225263936333007594,
{80,57,59,201},
32014},
127225459071161012318215760875751074707468901914]}},
{set,{var,47},
{call,dht_routing_table_eqc,range,
[920486341552367318517288724206513639277021193935,
888572438111382494360341762400835382925984149230]}},
{set,{var,48},
{call,dht_routing_table_eqc,has_bucket,
[{724685015971451129607344700987981155498339598336,
724863421933039374592476986734162342390387441664}]}},
{set,{var,49},
{call,dht_routing_table_eqc,insert,
[849280013007516813568791397491431825650796781418,
{21861263137717431732197748190432380324055388079,
{23,231,217,170},
15922}]}},
{set,{var,50},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,51},
{call,dht_routing_table_eqc,insert,
[413425779591888336801699978049368559675342419999,
{185494640173309560773063395285842571192858427213,
{216,233,228,113},
45244}]}},
{set,{var,52},
{call,dht_routing_table_eqc,delete,
[{185494640173309560773063395285842571192858427213,
{216,233,228,113},
45244},
304527193325138612879600054617886667298391868320]}},
{set,{var,53},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,54},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,55},
{call,dht_routing_table_eqc,delete,
[{220263972841563872707962592654523039450195556810,
{233,197,230,50},
15858},
69128556822376461842014414129467882114245314158]}},
{set,{var,56},
{call,dht_routing_table_eqc,delete_not_existing,
[{1169005524955555707643969147043956239462393831315,
{172,134,134,249},
43905},
15694690640790963112710057580492766753332080692]}},
{set,{var,57},
{call,dht_routing_table_eqc,members,
[511119308069552318690032637025993974577541183646,
1449794699950995523695101770980859988761776492780]}},
{set,{var,58},
{call,dht_routing_table_eqc,is_member,
[{220263972841563872707962592654523039450195556810,
{233,197,230,50},
15858},
871653487305171087659884788350417765952743742771]}},
{set,{var,59},
{call,dht_routing_table_eqc,has_bucket,
[{251195593916248939066258330623111144003363405824,
262613575457896618114724618378707105094425378816}]}},
{set,{var,60},
{call,dht_routing_table_eqc,has_bucket,
[{0,182687704666362864775460604089535377456991567872}]}},
{set,{var,61},
{call,dht_routing_table_eqc,is_member,
[{1398432885819652897243831867594225263936333007594,
{80,57,59,201},
32014},
645089413247700991059305660305060456524689379569]}},
{set,{var,62},
{call,dht_routing_table_eqc,insert,
[1252252465317829850106220295807463631169841747944,
{823455991254838742870346755722825881990399398319,
{210,28,180,61},
38361}]}},
{set,{var,63},
{call,dht_routing_table_eqc,insert,
[126528483728944576939987302126555178392059311523,
{133441484873856042285904000461460689052273003647,
{92,66,73,240},
62459}]}},
{set,{var,64},
{call,dht_routing_table_eqc,insert,
[536821977639116360798936862368819438112911333273,
{1003589701459567488797935851918795361576537442474,
{143,240,50,255},
53321}]}},
{set,{var,65},
{call,dht_routing_table_eqc,delete,
[{296974162895324132044525955031135231455945227216,
{116,228,209,144},
26992},
1127743286506777639764928325687040337674194222120]}},
{set,{var,66},
{call,dht_routing_table_eqc,members,
[21861263137717431732197748190432380324055388079,
491378900032738178489353081472514544615077305143]}},
{set,{var,67},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,68},
{call,dht_routing_table_eqc,delete,
[{133441484873856042285904000461460689052273003647,
{92,66,73,240},
62459},
1245625708630146717903533321832071252837901512121]}},
{set,{var,69},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,70},
{call,dht_routing_table_eqc,range,
[830083025213687487123195064413018492919746503978,
93750972978185484379513305148506895756660084211]}},
{set,{var,71},
{call,dht_routing_table_eqc,is_member,
[{823455991254838742870346755722825881990399398319,
{210,28,180,61},
38361},
454765847939567541673306213445307073690757547112]}},
{set,{var,72},
{call,dht_routing_table_eqc,delete,
[{123558204505594525653262012201678407008836541328,
{60,188,23,122},
10167},
751791790296687155134508892612113976539146189423]}},
{set,{var,73},
{call,dht_routing_table_eqc,has_bucket,
[{0,91343852333181432387730302044767688728495783936}]}},
{set,{var,74},
{call,dht_routing_table_eqc,insert,
[1091874698012078536399095910804412684063059153188,
{248767228717558829850003749026367250073197676425,
{188,184,220,159},
46259}]}},
{set,{var,75},
{call,dht_routing_table_eqc,range,
[843007584131150836225183824095138558677282106336,
351798177337581742096180391866986837101295931078]}},
{set,{var,76},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,77},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,78},
{call,dht_routing_table_eqc,delete_not_existing,
[{1390033788469314335045613252780993307223890069007,
{67,175,226,252},
30778},
790441342145765287387499107701273595025463982415]}},
{set,{var,79},
{call,dht_routing_table_eqc,range,
[664787557716746549683010546447073533706489481115,
1287474712225356739140520561069117582610296908457]}},
{set,{var,80},
{call,dht_routing_table_eqc,members,
[511119308069552318690032637025993974577541183646,
411298940295569678539114905900640296951479369928]}},
{set,{var,81},
{call,dht_routing_table_eqc,insert,
[191833028557551018780565045942221010650862351929,
{861410122782345378987851744927846819039095126452,
{228,106,1,79},
22980}]}},
{set,{var,82},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,83},
{call,dht_routing_table_eqc,range,
[758171411375840315615604606422144938794690212540,
297053885627469025624883942383987558518417229111]}},
{set,{var,84},
{call,dht_routing_table_eqc,insert,
[678660110868587235915324078818149761288988197537,
{163081276238183782964143966111709108315704242741,
{87,22,191,160},
63868}]}},
{set,{var,85},
{call,dht_routing_table_eqc,members,
[1003589701459567488797935851918795361576537442474,
315520925015868238318145085513321405478944097530]}},
{set,{var,86},
{call,dht_routing_table_eqc,insert,
[140913281465651830046401936575475342274825175653,
{976710322498128821304391163214725556212292179454,
{55,204,177,96},
14944}]}},
{set,{var,87},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,88},
{call,dht_routing_table_eqc,members,
[976710322498128821304391163214725556212292179454,
685552091690879820780600625285599997329013806567]}},
{set,{var,89},
{call,dht_routing_table_eqc,members,
[22488319260501436301636452130291591654586603693,
369269541691635236813470294032686117259631751828]}},
{set,{var,90},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,91},
{call,dht_routing_table_eqc,insert,
[505148219579706984143227653832102055671354678572,
{1255154947622501011400443477763721516979253260476,
{150,62,76,167},
11748}]}},
{set,{var,92},
{call,dht_routing_table_eqc,delete,
[{1255154947622501011400443477763721516979253260476,
{150,62,76,167},
11748},
1234904883285388402230560133199430377815881181045]}},
{set,{var,93},
{call,dht_routing_table_eqc,range,
[275184367391712614729344138087424726592358375466,
1038295999022028817248738737659290544299461146333]}},
{set,{var,94},
{call,dht_routing_table_eqc,range,
[1396641385414946286723922286331722165310790089267,
530240307723263443258479221588442618270148461380]}},
{set,{var,95},
{call,dht_routing_table_eqc,is_member,
[{21861263137717431732197748190432380324055388079,
{23,231,217,170},
15922},
161954295745583712993082221091631636468962756065]}},
{set,{var,96},
{call,dht_routing_table_eqc,members,
[976710322498128821304391163214725556212292179454,
231715908570364862331882640815086599495279542908]}},
{set,{var,97},
{call,dht_routing_table_eqc,insert,
[497651706511125758305792006645142165771930058301,
{1069391502138544759463314029891618949418388277296,
{36,181,157,227},
9514}]}},
{set,{var,98},
{call,dht_routing_table_eqc,has_bucket,
[{1187470080331358621040493926581979953470445191168,
1278813932664540053428224228626747642198940975104}]}},
{set,{var,99},
{call,dht_routing_table_eqc,is_member,
[{133441484873856042285904000461460689052273003647,
{92,66,73,240},
62459},
219957655297256930555094919276227815573524607775]}},
{set,{var,100},
{call,dht_routing_table_eqc,members,
[163081276238183782964143966111709108315704242741,
984417310689824577735314235185380229654613825979]}},
{set,{var,101},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,102},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,103},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,104},
{call,dht_routing_table_eqc,delete_not_existing,
[{905323993672490930408502440184744860849563814665,
{222,11,157,95},
40518},
209987471798243932760649818163501294558271045172]}},
{set,{var,105},
{call,dht_routing_table_eqc,range,
[1396529631385374950447342717576971445271581367075,
336250651250445545239203642457162654330719317476]}},
{set,{var,106},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,107},
{call,dht_routing_table_eqc,is_member,
[{1398432885819652897243831867594225263936333007594,
{80,57,59,201},
32014},
176429027264661007266800836796942985176314418736]}},
{set,{var,108},
{call,dht_routing_table_eqc,members,
[163081276238183782964143966111709108315704242741,
794008340436386845746708250874247618639504719534]}},
{set,{var,109},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,110},
{call,dht_routing_table_eqc,insert,
[557516824862074325665358050064943683906438876477,
{927440057589273498839040768368767801330331834886,
{223,106,117,238},
22828}]}},
{set,{var,111},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,112},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,113},
{call,dht_routing_table_eqc,delete,
[{248767228717558829850003749026367250073197676425,
{188,184,220,159},
46259},
795356718877927984066640142025161523272275530071]}},
{set,{var,114},
{call,dht_routing_table_eqc,is_member,
[{248767228717558829850003749026367250073197676425,
{188,184,220,159},
46259},
520947121358209932820678945980426488189195817145]}},
{set,{var,115},
{call,dht_routing_table_eqc,is_member,
[{22488319260501436301636452130291591654586603693,
{222,252,116,115},
19535},
1058712293619791041896986101703944899031126187663]}},
{set,{var,116},
{call,dht_routing_table_eqc,insert,
[186149521297158325817099727225112704178079295068,
{844378346280179990157174845374000783815966930879,
{31,136,196,35},
12617}]}},
{set,{var,117},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,118},
{call,dht_routing_table_eqc,delete_not_existing,
[{266790550978216591144597305349821313312136324843,
{187,165,126,255},
19887},
203040093755321600113396236925142779011779969366]}},
{set,{var,119},
{call,dht_routing_table_eqc,delete_not_existing,
[{394851587217734702166603188656029915908101592025,
{36,237,220,227},
26626},
1378755042675546397291116778892173452944326490958]}},
{set,{var,120},
{call,dht_routing_table_eqc,delete,
[{21861263137717431732197748190432380324055388079,
{23,231,217,170},
15922},
1434460109407141172123504329905000122642420356544]}},
{set,{var,121},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,122},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,123},
{call,dht_routing_table_eqc,is_member,
[{296974162895324132044525955031135231455945227216,
{116,228,209,144},
26992},
877841832774045214738499791379825505171546224086]}},
{set,{var,124},
{call,dht_routing_table_eqc,members,
[861410122782345378987851744927846819039095126452,
1289335186928410590136535740934551989557130616601]}},
{set,{var,125},
{call,dht_routing_table_eqc,has_bucket,
[{1282025239973128463160605372058009006255802155008,
1282382051896304953130869943550371380039897841664}]}},
{set,{var,126},
{call,dht_routing_table_eqc,delete_not_existing,
[{924270356053883632335710661421191999221843809247,
{140,131,214,199},
63706},
1102813344832676143441608577732173486200068607309]}},
{set,{var,127},
{call,dht_routing_table_eqc,insert,
[702442364701750615477949448164987189753457254722,
{757848329928533713384932045410968369690285884046,
{191,68,56,120},
38649}]}},
{set,{var,128},
{call,dht_routing_table_eqc,delete_not_existing,
[{121295563013015099108544118642905956979051318451,
{69,45,218,3},
12792},
1391360169314286771348560314723935222369191964905]}},
{set,{var,129},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,130},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,131},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,132},{call,dht_routing_table_eqc,node_list,[]}},
{set,{var,133},{call,dht_routing_table_eqc,ranges,[]}},
{set,{var,134},
{call,dht_routing_table_eqc,insert,
[11018747257478805070717156233310406383935109024,
{938923549397994996340619115799873119549050177190,
{48,105,17,181},
2284}]}}]
dht_routing_table_eqc:ranges() ->
[{0, 1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:has_bucket({660458869799682934959721832362753874361116000256,
660815681722859424929986403855116248145211686912}) ->
false
dht_routing_table_eqc:range(1103605397128662530547004573024933458597958554231,
148116011658109815376470744111735725551516508863) ->
{0, 1461501637330902918203684832716283019655932542976}
dht_routing_table_eqc:delete_not_existing({511285527982270299672598472729888880336037877716,
{110, 153, 168, 218}, 36293},
34957415826356088833260707416132394350223650697) ->
ok
dht_routing_table_eqc:node_list() -> []
dht_routing_table_eqc:node_list() -> []
dht_routing_table_eqc:delete_not_existing({1114535206134460209371493298950797577682837214832,
{211, 167, 117, 175}, 18938},
518888309199934966642054476626471838496150793439) ->
ok
dht_routing_table_eqc:has_bucket({730750818665451459101842416358141509827966271488,
1461501637330902918203684832716283019655932542976}) ->
false
dht_routing_table_eqc:ranges() ->
[{0, 1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:range(1272095515213990645214095079928832828216049565916,
105161427119239487833768792362575196747108906097) ->
{0, 1461501637330902918203684832716283019655932542976}
dht_routing_table_eqc:ranges() ->
[{0, 1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:range(98470165433597266308302812793089276095116341666,
1390853374378050718631006775590600466007303935968) ->
{0, 1461501637330902918203684832716283019655932542976}
dht_routing_table_eqc:insert(661037928224787161339805612081755465160406541803,
{1398432885819652897243831867594225263936333007594,
{80, 57, 59, 201}, 32014}) ->
ok
dht_routing_table_eqc:delete_not_existing({153649670003073173649285342594462053659719590703,
{246, 202, 71, 54}, 36378},
277060387887563835786176621696057860363491820639) ->
ok
dht_routing_table_eqc:delete({1398432885819652897243831867594225263936333007594,
{80, 57, 59, 201}, 32014},
816327636873119194993250461343676347061758664021) ->
ok
dht_routing_table_eqc:insert(565185864573828204138744834350940748726109044061,
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853}) ->
ok
dht_routing_table_eqc:has_bucket({730750818665451459101842416358141509827966271488,
913438523331814323877303020447676887284957839360}) ->
false
dht_routing_table_eqc:delete_not_existing({241883099436973562397971092218671687377614518197,
{37, 115, 156, 45}, 16716},
660105721008538994282912390053421881445184403783) ->
ok
dht_routing_table_eqc:has_bucket({0,
365375409332725729550921208179070754913983135744}) ->
false
dht_routing_table_eqc:insert(896718355869251044676016064176381760228470366694,
{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167}) ->
ok
dht_routing_table_eqc:insert(461395157258954924639068997279856799576862012279,
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858}) ->
ok
dht_routing_table_eqc:is_member({123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
499014500215333749398371017060472266371182259327) ->
true
dht_routing_table_eqc:node_list() ->
[{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853}]
dht_routing_table_eqc:has_bucket({45671926166590716193865151022383844364247891968,
91343852333181432387730302044767688728495783936}) ->
false
dht_routing_table_eqc:insert(414199208035198317291749253993862681326721733292,
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992}) ->
ok
dht_routing_table_eqc:node_list() ->
[{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992}]
dht_routing_table_eqc:insert(57098989545526507719709756108034824635600369753,
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751}) ->
ok
dht_routing_table_eqc:ranges() ->
[{0, 1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:node_list() ->
[{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751}]
dht_routing_table_eqc:has_bucket({730750818665451459101842416358141509827966271488,
1461501637330902918203684832716283019655932542976}) ->
false
dht_routing_table_eqc:members(511119308069552318690032637025993974577541183646,
492475549679977491656877590121578344421316231580) ->
[{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751}]
dht_routing_table_eqc:has_bucket({0,
1461501637330902918203684832716283019655932542976}) ->
true
dht_routing_table_eqc:ranges() ->
[{0, 1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:is_member({511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751},
479421454873107689357959514878895650417217966524) ->
true
dht_routing_table_eqc:members(296974162895324132044525955031135231455945227216,
329672207270111690664733750804352383224972031920) ->
[{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751}]
dht_routing_table_eqc:node_list() ->
[{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751}]
dht_routing_table_eqc:node_list() ->
[{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751}]
dht_routing_table_eqc:insert(862604719664703610703641548943993192594363484235,
{22488319260501436301636452130291591654586603693,
{222, 252, 116, 115}, 19535}) ->
ok
dht_routing_table_eqc:insert(686798217043696070740221117509701183373682310076,
{611891159740959235969195225204468728268675323239,
{246, 229, 176, 101}, 9838}) ->
ok
dht_routing_table_eqc:node_list() ->
[{22488319260501436301636452130291591654586603693,
{222, 252, 116, 115}, 19535},
{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751},
{611891159740959235969195225204468728268675323239,
{246, 229, 176, 101}, 9838}]
dht_routing_table_eqc:is_member({511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751},
1053141550041040865515947194999571425920871930285) ->
true
dht_routing_table_eqc:ranges() ->
[{0, 1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:delete_not_existing({379496466877944620847755818596770047099704620354,
{175, 59, 111, 66}, 16562},
1299256022426157265699590645094252430014572283115) ->
ok
dht_routing_table_eqc:range(1400812155285390595193933782697249991311559052024,
432432340137425521670809530335592988094872245347) ->
{0, 1461501637330902918203684832716283019655932542976}
dht_routing_table_eqc:node_list() ->
[{22488319260501436301636452130291591654586603693,
{222, 252, 116, 115}, 19535},
{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751},
{611891159740959235969195225204468728268675323239,
{246, 229, 176, 101}, 9838}]
dht_routing_table_eqc:is_member({1398432885819652897243831867594225263936333007594,
{80, 57, 59, 201}, 32014},
127225459071161012318215760875751074707468901914) ->
false
dht_routing_table_eqc:range(920486341552367318517288724206513639277021193935,
888572438111382494360341762400835382925984149230) ->
{0, 1461501637330902918203684832716283019655932542976}
dht_routing_table_eqc:has_bucket({724685015971451129607344700987981155498339598336,
724863421933039374592476986734162342390387441664}) ->
false
dht_routing_table_eqc:insert(849280013007516813568791397491431825650796781418,
{21861263137717431732197748190432380324055388079,
{23, 231, 217, 170}, 15922}) ->
ok
dht_routing_table_eqc:ranges() ->
[{0, 1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:insert(413425779591888336801699978049368559675342419999,
{185494640173309560773063395285842571192858427213,
{216, 233, 228, 113}, 45244}) ->
ok
dht_routing_table_eqc:delete({185494640173309560773063395285842571192858427213,
{216, 233, 228, 113}, 45244},
304527193325138612879600054617886667298391868320) ->
ok
dht_routing_table_eqc:ranges() ->
[{0, 730750818665451459101842416358141509827966271488},
{730750818665451459101842416358141509827966271488,
1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:ranges() ->
[{0, 730750818665451459101842416358141509827966271488},
{730750818665451459101842416358141509827966271488,
1461501637330902918203684832716283019655932542976}]
dht_routing_table_eqc:delete({220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
69128556822376461842014414129467882114245314158) ->
ok
dht_routing_table_eqc:delete_not_existing({1169005524955555707643969147043956239462393831315,
{172, 134, 134, 249}, 43905},
15694690640790963112710057580492766753332080692) ->
ok
dht_routing_table_eqc:members(511119308069552318690032637025993974577541183646,
1449794699950995523695101770980859988761776492780) ->
[]
dht_routing_table_eqc:is_member({220263972841563872707962592654523039450195556810,
{233, 197, 230, 50}, 15858},
871653487305171087659884788350417765952743742771) ->
false
dht_routing_table_eqc:has_bucket({251195593916248939066258330623111144003363405824,
262613575457896618114724618378707105094425378816}) ->
false
dht_routing_table_eqc:has_bucket({0,
182687704666362864775460604089535377456991567872}) ->
false
dht_routing_table_eqc:is_member({1398432885819652897243831867594225263936333007594,
{80, 57, 59, 201}, 32014},
645089413247700991059305660305060456524689379569) ->
false
dht_routing_table_eqc:insert(1252252465317829850106220295807463631169841747944,
{823455991254838742870346755722825881990399398319,
{210, 28, 180, 61}, 38361}) ->
ok
dht_routing_table_eqc:insert(126528483728944576939987302126555178392059311523,
{133441484873856042285904000461460689052273003647,
{92, 66, 73, 240}, 62459}) ->
ok
dht_routing_table_eqc:insert(536821977639116360798936862368819438112911333273,
{1003589701459567488797935851918795361576537442474,
{143, 240, 50, 255}, 53321}) ->
ok
dht_routing_table_eqc:delete({296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
1127743286506777639764928325687040337674194222120) ->
ok
dht_routing_table_eqc:members(21861263137717431732197748190432380324055388079,
491378900032738178489353081472514544615077305143) ->
[{21861263137717431732197748190432380324055388079,
{23, 231, 217, 170}, 15922},
{22488319260501436301636452130291591654586603693,
{222, 252, 116, 115}, 19535},
{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751},
{611891159740959235969195225204468728268675323239,
{246, 229, 176, 101}, 9838},
{823455991254838742870346755722825881990399398319,
{210, 28, 180, 61}, 38361}]
dht_routing_table_eqc:node_list() ->
[{21861263137717431732197748190432380324055388079,
{23, 231, 217, 170}, 15922},
{22488319260501436301636452130291591654586603693,
{222, 252, 116, 115}, 19535},
{123558204505594525653262012201678407008836541328,
{60, 188, 23, 122}, 10167},
{246001096341049153266570869148668896146292602042,
{95, 8, 190, 189}, 1853},
{296974162895324132044525955031135231455945227216,
{116, 228, 209, 144}, 26992},
{511119308069552318690032637025993974577541183646,
{172, 34, 29, 46}, 28751},
{611891159740959235969195225204468728268675323239,
{246, 229, 176, 101}, 9838},
{823455991254838742870346755722825881990399398319,
{210, 28, 180, 61}, 38361},
{1003589701459567488797935851918795361576537442474,
{143, 240, 50, 255}, 53321}]
Reason: {postcondition, false}
Shrinking xxxxxxxx.x.xx.xxxxxx.x..x.x..x.xx.x.x.xxx.xxx.x.x.x..xx.x....xxxxxxxxxxx............................(x10)...........x....xxxxxxxxxxxxxxxxxxxxxxxxx..........x..xxxxxxxxxxxxxxxxxxxxxxxx....xxxxxxxxxxxxxxxxxx(x100)xxxxxxxxxxxxxxxxxxx(x10).........xxxx(x1)......xxx(458 times)
[{set,{var,1},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},0}]}},
{set,{var,2},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},1}]}},
{set,{var,3},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},2}]}},
{set,{var,4},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},3}]}},
{set,{var,5},
{call,dht_routing_table_eqc,insert,
[0,
{248767228717558829850003749026367250073197676425,
{188,184,220,159},
46259}]}},
{set,{var,6},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},4}]}},
{set,{var,7},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},5}]}},
{set,{var,8},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},6}]}},
{set,{var,9},{call,dht_routing_table_eqc,insert,[1,{0,{0,0,0,0},0}]}},
{set,{var,10},
{call,dht_routing_table_eqc,delete,
[{248767228717558829850003749026367250073197676425,
{188,184,220,159},
46259},
730750818665451459101842416358141509827966271488]}},
{set,{var,11},
{call,dht_routing_table_eqc,is_member,
[{248767228717558829850003749026367250073197676425,
{188,184,220,159},
46259},
0]}}]
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 0}) -> ok
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 1}) -> ok
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 2}) -> ok
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 3}) -> ok
dht_routing_table_eqc:insert(0,
{248767228717558829850003749026367250073197676425,
{188, 184, 220, 159}, 46259}) ->
ok
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 4}) -> ok
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 5}) -> ok
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 6}) -> ok
dht_routing_table_eqc:insert(1, {0, {0, 0, 0, 0}, 0}) -> ok
dht_routing_table_eqc:delete({248767228717558829850003749026367250073197676425,
{188, 184, 220, 159}, 46259},
730750818665451459101842416358141509827966271488) ->
ok
dht_routing_table_eqc:is_member({248767228717558829850003749026367250073197676425,
{188, 184, 220, 159}, 46259},
0) ->
true
Reason: {postcondition, false}
[prop_seq]
48>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment