persistent factory map fails random io test
jurgenvinju opened this issue · 2 comments
Deep random value failed, now trying to find the simplest sub-term which causes the failure...
Test fail:
Not equal: (seed: 672550873)
([{-1307563167,-8,0},{},{}]:<{true,false},0.0,[["","","","ŜǤň홠","",""],[]]>,[{},{},{},{},{},{}]:<{true,false},0.0,[]>,[]:<{},0.0,[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]>) : map[list[set[int]], tuple[set[bool],num,list[list[str]]]]
([{-1307563167,-8,0},{},{}]:<{true,false},0.0,[["","","","ŜǤň홠","",""],[]]>,[]:<{},0.0,[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]>,[{},{},{},{},{},{}]:<{true,false},0.0,[]>) : map[list[set[int]], tuple[set[bool],real,list[list[str]]]]
the only difference seems to be the order of the map entries. could indicate a hash collision and a failure to deal with this properly.
Actually it has more than one collisions!?
vallang (remove-annotions-ci=) $ pbpaste | sort -u
-1015013213:([]:<{},0.0,[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]>,[{-8,-1307563167,0},{},{}]:<{true,false},0.0,[["","","","ŜǤň홠","",""],[]]>,[{},{},{},{},{},{}]:<{true,false},0.0,[]>)
-127849709:[{-8,-1307563167,0},{},{}]
-1286238541:-8
-1418742769:<{true,false},0.0,[]>
-1524958367:["","","","ŜǤň홠","",""]
-1745936091:-1307563167
-1899572300:{-1307563167,-8,0}
-1899572300:{-8,-1307563167,0}
-2005629514:<{},0.0,[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]>
-2005629514:[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]
-2005629545:["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]
-2005659336:"\u00a0\u1680\u00a0\u1680\u2000\u2028 "
-2005659336:["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]
-2005659336:[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]
-29068148:<{true,false},0.0,[["","","","ŜǤň홠","",""],[]]>
-29068159:[["","","","ŜǤň홠","",""],[]]
-607394550:<{},0.0,[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]>
-701738494:<{true,false},0.0,[["","","","ŜǤň홠","",""],[]]>
0:""
0:0.0
0:[]
0:[{},{},{},{},{},{}]
0:{}
10897440:"ŜǤň홠"
1132602332:0
12:<{true,false},0.0,[]>
1953674731:([{-1307563167,-8,0},{},{}]:<{true,false},0.0,[["","","","ŜǤň홠","",""],[]]>,[{},{},{},{},{},{}]:<{true,false},0.0,[]>,[]:<{},0.0,[["","","\u00a0\u1680\u00a0\u1680\u2000\u2028 "]]>)
1:[]
1:true
2:false
3:{true,false}
43589760:["","","","ŜǤň홠","",""]
87179520:[["","","","ŜǤň홠","",""],[]]
887503681:[{},{},{},{},{},{}]
991645392:[{-1307563167,-8,0},{},{}]