Re: [eclipse-clp-users] Bug in eclipse-6?

Hi Stephan,

Thanks for finding and reporting this bug.


Stephan Schiffel wrote:
> 
> test should fail, but eclipse's answer is "Yes". However, if you run it in 
> trace mode step by step it correctly fails. 

The behaviour when using the tracer is also incorrect, as the trace of 
~=/2 is shown with an incorrect argument value in the delay and 
subsequent resume ports.

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.