Re: A strange way to crash eclipse

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Tue 19 Jun 2001 04:09:17 PM GMT
Message-ID: <20010619170916.F25199@tempest.icparc.ic.ac.uk>
On Tue, Jun 19, 2001 at 03:27:41PM +0100, 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!!

This is not eplex-related (it works just as well with setting a tentative
value outside the range of an FD variable), nor is it a new bug (it was
around pre-4.0).

Still looking into it.

Cheers,
Warwick
Received on Tue Jun 19 17:09:17 2001

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