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