Hi, I have added more properties to test/ec_dictionary_proper - https://github.com/lehoff/erlware_commons/blob/master/test/ec_dictionary_proper.erl
I would encourage you all to go a and look and them and send me suggestions to new thing to be tested for a dictionary. I have run into a problem where it seems that PropEr is able to create a dictionary based on gb_trees where the same key is present more than once. That is bad(tm). Unfortunately I have not been able to work well enough with PropEr to get a sequence of operations out that shows how it actually created such an instance of gb_trees, but when I do I will explain the finding in details. The failing property is called prop_to_list_mathes_get() and it tries to compare the output of ec_dictionary:to_list to the output of using ec_dictionary:get/2 on all the keys in the to_list output. They are not the same in some cases due to the gb_trees thing above. Most likely I am doing something extremely stupid, but it could be fun if there was a subtle bug in gb_trees... or maybe the right word is scary... Cheers, Torben -- http://www.linkedin.com/in/torbenhoffmann -- You received this message because you are subscribed to the Google Groups "erlware-dev" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/erlware-dev?hl=en.
