Re: [eclipse-clp-users] bug version 6?

From: Kish Shen <kisshen_at_cisco.com>
Date: Mon, 28 Dec 2009 19:08:43 +0000
Vicenç Gomez wrote:
> Dear all,
> 
> I've experienced the following problem when upgrading to version 6:
> Using the following code:
> 
> ...
> prob: eplex_solver_setup(min( X1_2*C1_2 + ...  + X93_4*C93_4)),
> ...
> 
> where I ommited part of the string I pass as argument to the min predicate,
> I get this error :
> 
> Goal failed unexpectedly: current_content(hash(256, 263, [a(151) -> 431,
> a(152) -> 432, a(153) -> 433, a(154) -> 434, a(155) -> 435, a(156) -> 436,
> a(157) -> 437, a(158) -> 438, a(159) -> 439, a(160) -> 440, a(161) -> 441,
> a(162) -> 442, a(163) -> 443, a(164) -> 444, a(165) -> 445, a(...) -> 446,
> ... -> ..., ...]), a(3), _699378)
> Aborting execution ...

Hi Vicenç,

The current_content predicate appears to be in the compiler, so it seems 
your problem is due to a compiler problem.

I assume "argument string" you are referring is the objective function 
which you are passing in eplex_solver_setup/1? This is an expression 
(i.e. a Prolog structure), and there should be no built-in limit to its 
size, except for memory limits.

Could you please let us know which version of ECLiPSe 6.0 you are using 
(i.e. the full version number (including the build number after the #), 
and the platform you are using. We will probably need your program that 
is causing this error, as well.

Thanks and cheers,

Kish


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Mon Dec 28 2009 - 19:44:31 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET