Sweet torben, I am looking forward to seeing this come together. I am itching to start up sets but its probably a good idea to wait until we get dictionaries complete. ;)
Thats awesome. And a great start. When I get the current task done with sinan I think I will add PropEr support to sinan test to make running these a bit easier. From the look of things it wont be very hard at all. On Fri, Mar 18, 2011 at 6:36 PM, Torben Hoffmann <[email protected]> wrote: > 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.
