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

Malcolm Ryan wrote:
> 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?

Use subcall/2.  In connection with lib(test_util) this would be:

subcall(( <your test goals> ), Delayed) should_give Delayed == [].

The test library should probably have built-in support for this.


-- Joachim