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

-------- Original Message --------
Subject: Re: Problems with Propia-Library (Goal infers most, Goal infers fd)
Date: Wed, 05 Jul 2000 13:14:24 +0200
From: "Bashford, Steven" <bashford@ls12.cs.uni-dortmund.de>
Organization: Computer Science 12 , University of Dortmund
To: Joachim Schimpf <js10@icparc.ic.ac.uk>
References: <39616F34.B369EB9E@ls12.cs.uni-dortmund.de>
<39631235.1DC17233@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?
>

Hi Joachim.

Thanks for your fast reply.

I'm currently re-implementing my application to get a clean and stable
version. I think this will take some time. As soon I have a stable version

I will generate a version that you can use in your validation set.

Best regards,

Steven.