From faulstic@inf.fu-berlin.de Thu Apr 19 22:41:29 2001
Received: from math.fu-berlin.de (leibniz.math.fu-berlin.de [160.45.40.10])
	by swi.psy.uva.nl (8.11.2/8.11.2) with SMTP id f3JKfT323177
	for <prolog@swi.psy.uva.nl>; Thu, 19 Apr 2001 22:41:29 +0200 (MET DST)
Received: (qmail 27460 invoked from network); 19 Apr 2001 22:41:23 +0200
Received: from roger.inf.fu-berlin.de (160.45.110.56)
  by leibniz.math.fu-berlin.de with QMQP; 19 Apr 2001 22:41:23 +0200
From: Lukas Faulstich <faulstic@inf.fu-berlin.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <15071.19826.754777.691022@inf.fu-berlin.de>
Date: Thu, 19 Apr 2001 22:41:22 +0200 (MEST)
To: Tom Breton <tob@world.std.com>
CC: prolog@swi.psy.uva.nl
Subject: [SWIPL] Testing frameworks that work with SWI Prolog?
In-Reply-To: <m3y9sx7yx8.fsf@world.std.com>
References: <m3y9sx7yx8.fsf@world.std.com>
X-Mailer: VM 6.75 under Emacs 20.3.1
Reply-To: faulstic@inf.fu-berlin.de

Tom Breton writes:
 > 
 > 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.

please do not go into that trouble before you have checked out the
library module_test, at

http://gollem.swi.psy.uva.nl/twiki/pl/bin/view/Library/ModuleTest

Lukas Faulstich 

-- 
Dr. Lukas C. Faulstich		        faulstic@inf.fu-berlin.de 
Institut fuer Informatik	        +49 (30) 838 - 75 123
Freie Universitaet Berlin	        +49 (30) 838 - 75 109 (fax)
Takustr. 9			        http://www.inf.fu-berlin.de/~faulstic
D-14195 Berlin, Germany	                PGP key: see my homepage
Petition for a Software Patent Free Europe  http://petition.eurolinux.org/

