Ann: quickcheck pack

Michael Hendricks <[email protected]>
Newsgroups gmane.comp.ai.prolog.swi
Message-ID <CAFHuXuZTdtVsdnpok-5ZbgT5n=_XpLG=Sach35A7vMvXGuh2Cw@mail.gmail.com>
I've released the quickcheck pack which implements randomized property
testing for Prolog.  I've published a tutorial at
http://blog.ndrix.com/2013/12/quickcheck-for-prolog.html

I plan better integration with PlUnit and TAP testing infrastructure in the
future.  For now, the success or failure of quickcheck/1 can be used to
write tests under those frameworks.

As the version number indicates, there are still rough edges but it works
pretty well so far.

-- 
Michael
-------------- next part --------------
HTML attachment scrubbed and removed
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.