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

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_...2...
> 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