[erlang-questions] A PropEr announcement

[James Churchman]

Amazing news for those who's projects fall below the radar of needing commercial support but really want to test their code to destruction, as we all should! Will lightly improve the standard of all erlang code out in the wild!

James



ps : 
One majorly nit-pciky thing... its more a personal hate than anything else.. I love the "Shirt & Tie with the erlang badge on it" logo, really fantastic.. less keen on the text as an image. On anything but the default zoom setting it looks blurry and you see lots of double anti-aliasing.. as the FontFace stuff is not yet widely supported best technique is to have a div with a background image of both a jpg/gif and an svg as well, any browsers that support svg will pick it up and all others get the jpg like ;

#title_image_div
{
    background-image:  url('images/logo.jpg');
    background-image:  none,url('images/logo.svg'), url('images/logo.jpg');
}

On 12 Jun 2011, at 14:44, Edmond Begumisa wrote:

> Thank you, thank you, thank you!
> 
> The tutorials are pure gold.
> 
> It takes a little getting used to, but PropEr is a wonderful tool, even for someone new to automated testing.
> 
> - Edmond -
> 
> 
> On Sun, 12 Jun 2011 23:23:38 +1000, Kostis Sagonas <kostis@REDACTED> wrote:
> 
>> We are happy to announce the first official public release of PropEr, a QuickCheck-inspired Property-Based Testing Tool for Erlang.
>> 
>> The release comes with a proper site containing a User Guide, tips and tutorials for PropEr.  It can be accessed at:
>> 
>> 	http://proper.softlab.ntua.gr/
>> 
>> Among other things, it has a proper contact address on which we will be very happy to receive comments and feedback. Depending on interest, we may also set up a mailing list for PropEr users.
>> 
>> Enjoy!
>> 
>> Kostis Sagonas (on behalf of the PropEr developers)
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions
> 
> 
> -- 
> Using Opera's revolutionary e-mail client: http://www.opera.com/mail/
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions