ok. that makes good sense though not terribly obvious from the examples. I need to reread the shrinking stuff I guess.
Eric On Sat, Apr 2, 2011 at 4:05 PM, Torben Hoffmann <[email protected]> wrote: > > > On Sat, Apr 2, 2011 at 22:33, Eric Merritt <[email protected]> wrote: >> >> I have made a property in ec_dictionary_proper, and it seems to work. >> One thing to not is that the property run seems to need to return a >> boolean. > > I will add that to the tutorial - every property has to return a boolean. > > You should not call sym_dict/1 directly in your properties - use sym_dict/0 > since it allows PropEr to do the sizing of the tests. > > I did a few small changes - check them out in my latest commit. > >> >> On Fri, Apr 1, 2011 at 1:53 PM, Eric Merritt <[email protected]> >> wrote: >> > Torben, >> > >> > I have added the keys to all implementations and have a set of >> > properties specified. I will push these changes tonight and I have >> > made sinan changes to support proper testing and a test directory. >> > >> > Right now the name 'proper' is completely non-googleable. Its almost >> > impossible to find information about the project unless know exactly >> > where to look for it. I wonder if the proper folks would be willing to >> > consider a name change to something that is more amenable to finding >> > information. I would like to suggest that to them, what do you think? >> > >> > Eric >> > >> > On Thu, Mar 31, 2011 at 3:57 PM, Eric Merritt <[email protected]> >> > wrote: >> >>>> >> >>>> This document is a great start, and I think it covers basically most >> >>>> of >> >>>> the things that need to be covered. I however offer a few >> >>>> suggestions: >> >>>> 1. Remove references to both Martin and Eric. I am sure they will be >> >>>> nice >> >>>> enough to let you use your words verbatim(or close to) without >> >>>> putting up a >> >>>> fight. Just focus on the concepts, not where the idea came from. >> >>> >> >>> I have no problem with that - a quick nod from Martin and Eric will do >> >>> the >> >>> trick for me! >> >> >> >> Thats just fine with me. No need for attribution here, its a group >> >> document. >> >> >> > >> >> -- >> 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. >> > > > > -- > 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.
