Re: A strange way to crash eclipse

Hi Olli,

You should also be sending these kinds of reports to the eclipse-bugs
mailing list rather than to an individual developer, since that would mean
your report is more likely to be seen sooner by somebody capable of solving
your problem (I've never used the repair library, know very little about
eplex and know enough about setval to know that there are subtleties to it
that I don't know about... :).

I'll have a look at it, but I probably can't help you.

Cheers,
Warwick

On Tue, Jun 19, 2001 at 03:41:13PM +0100, Olli Kamarainen wrote:
> I forgot to say, that I was using Eclipse 5.2 in ostrich.
> 
> 
> Olli Kamarainen wrote:
> > 
> > Hello! I just realised that if I have an inconsistent tentative value
> > for a variable, tkeclipse crashes when I try to save an lp_setup handle
> > to a _global_ variable. You can try the following example:
> > 
> > :-lib(eplex).
> > :-lib(repair).
> > 
> > crash:-
> >         X $=< 10,
> >         X $>= 1,
> >         X tent_set 0,      % inconsistent value
> >         Cost $= X * 10,
> >         collect_lp_constraints_norm(NormCstrs),
> >         lp_setup(NormCstrs, min(Cost), [integers(all)], Handle),
> > 
> >         setval(lp_handle,Handle).  % eclipse crashes here!!
> > 
> > I don't know if this is a feature or a bug, but it may cause some
> > problems to me when using an lp-based neighbourhood operator in local
> > search.
> > 
> > Cheers,
> > Olli