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

From: Joachim Schimpf (Independent Contractor) <"Joachim>
Date: Thu, 21 Jun 2007 18:35:17 +0200
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
Received on Thu Jun 21 2007 - 17:35:28 CEST

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 21:14:55 CEST