From tob@world.std.com Thu Apr 19 16:44:28 2001
Received: from localhost.std.com (ppp0b017.std.com [208.192.101.17])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f3JEiQ314095
	for <prolog@swi.psy.uva.nl>; Thu, 19 Apr 2001 16:44:27 +0200 (MET DST)
Received: (from Tehom@localhost)
	by localhost.std.com (8.9.3/8.9.3) id KAA00755;
	Thu, 19 Apr 2001 10:39:07 -0400
X-Authentication-Warning: localhost.std.com: Tehom set sender to tob@world.std.com using -f
To: prolog@swi.psy.uva.nl
From: Tom Breton <tob@world.std.com>
Date: 19 Apr 2001 10:21:39 -0400
Message-ID: <m3y9sx7yx8.fsf@world.std.com>
User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Lines: 17
Subject: [SWIPL] Testing frameworks that work with SWI Prolog?


Are there any regression testing frameworks that work with SWI Prolog?
I mean a module that will take code along the lines of:

foo(...) :- ...
example( foo(a,b) ).
example( foo(c,d) ).

and automatically test that all the examples of `foo' work.
Presumably with some diagnostics when it fails.

If not, then I'm on the verge of writing such a thing (I wrote/adapted
the same thing for Lisp), and if so I'll submit it as an addition to
SWI, if it would be welcome.

-- 
Tom Breton, http://world.std.com/~tob

