Re: [eclipse-users] Unit testing in eclipse prolog

From: Malcolm Ryan <malcolmr_at_cse.unsw.edu.au>
Date: Thu, 21 Jun 2007 15:12:03 +1000
I'm creating a new kind of constrained variable (ordered sets) along  
the lines of the 'generic_sets' module. I want to add some unit tests  
that ensure that the suspension lists are working correctly - most  
importantly, that there aren't any delayed goals remaining once a  
variable has been instantiated. Is there any way to access this  
information?

Malcolm

On 10/05/2007, at 8:12 PM, Joachim Schimpf (Independent Contractor)  
wrote:

> Malcolm Ryan wrote:
>> Does anyone have experience with using unit testing tools for prolog?
>
> We use the ECLiPSe library test_util
> http://www.eclipse-clp.org/doc/bips/lib/test_util/index.html
>
>
> -- Joachim
>
> _______________________________________________
> ECLiPSe-Users mailing list
> ECLiPSe-Users_at_crosscoreop.com
> http://www.crosscoreop.com/mailman/listinfo/eclipse-users

--
      "Progress should mean that we are always changing the world to fit
       the vision, instead we are always changing the vision."
                - G.K.Chesterton, Orthodoxy
Received on Thu Jun 21 2007 - 06:12:14 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET