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.
