On Sat, Mar 19, 2011 at 15:15, Eric Merritt <[email protected]> wrote:
> 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. ;) > I feel your itch, but we have a bit of learning to do before we open up yet another front... I think my understanding of what PropEr can offer is lacking and I would like to fill that gap before we start adding more to the table. A review from the PropEr authors of our properties and generators would probably benefit us a lot. Tha is the sort of feed-back I would like to get before we deal with the sets! > > 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. > No - it should be easy and for starters it will suffice to rely on proper:module/1 which checks all properties in the given file. And actually it is probably what you want when you build anyway. Cheers, Torben > > > > 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 > > > -- 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.
