[eclipse-clp-users] Property-based testing

From: Paulo Moura <pmoura_at_...342...>
Date: Fri, 24 Apr 2020 15:40:03 +0100
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
Received on Fri Apr 24 2020 - 14:40:24 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST