Property-based testing

Paulo Moura <[email protected]> Fri, 24 Apr 2020 15:39:47 +0100
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
Hi,

I published yesterday the third blog post on property-based testing. The solutions discussed in the posts can be used to test, besides Logtalk code, also plain Prolog and Prolog module code:

https://logtalk.org/2020/04/23/building-trust-on-property-based-testing.html

The blog is focused on logic programming best practices. Hope you enjoy reading it. Feedback and suggestions for upcoming content are most welcome.

Cheers,
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer