Hi Eric et al, I have had a few problems with the transition from QuickCheck to PropEr, but at least I have one property in the bag now. That actually calls for some sort of celebration...
Look at https://github.com/lehoff/erlware_commons in the file test/ec_dictionary_proper.erl. Basically the prop_size_increases_with_new_key() property states that if you add a key that does not exist in the dictionary the size will increase with one otherwise it will stay the same. Not the most sexy thing, but I needed to get started so I kept it simple. Running the test with proper:module(ec_dictionary_proper) gives the following output: Testing ec_dictionary_proper:prop_size_increases_with_new_key/0 1.1.2.2.3.3.4.4.5.5.6.6.7.7.8.8.9.9.10.10.11.11.12.12.13.13.14.14.15.15.16.16.17.17.18.18.19.19.20.20.21. 21.22.22.23.23.24.24.25.25.26.26.27.27.27.28.28.28.29.29.29.30.30.30.31.31.31.32.32.32.33.33.33.34.34.34. 35.35.35.36.36.36.37.37.37.38.38.38.39.39.39.40.40.40.41.41.41.42.42.42. OK: Passed 100 test(s). (I printed the sizes of the dictionaries to be sure that something was happening!) So it seems that Eric has been able to wrap up gb_trees correctly... at least when it comes to a dictionary created with pure add operations! I will extend this property and add more properties later. Have a nice week-end! Torben aka ErlangPriest -- 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.
