Re: Problems with Propia-Library (Goal infers most, Goal infers fd)

From: Joachim Schimpf <js10_at_icparc.ic.ac.uk>
Date: Thu 06 Jul 2000 05:27:27 PM GMT
Message-ID: <3964C17F.B4702833@icparc.ic.ac.uk>
[sorry for the incomplete mail, i am having trouble with my netscape..]


"Bashford, Steven" wrote:
> 
> The call does not terminate (It also does not terminate using Goal
> infers fd).
> It terminates (with the expected answer) when using ECLiPSe 4.2.2.

Hi Steven,
we have identified the problem and will send you a fix later.

To prevent such accidents in the future, would it be possible
that you give us a copy of your application (or part of it)
together with a data set and a reference output, so that we
can include into our set of validation tests? 

-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse
Received on Thu Jul 06 18:27:29 2000

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:00 PM GMT GMT