Bugs in IC

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Tue 13 Nov 2001 10:14:20 PM GMT
Message-ID: <20011113221420.K13298@tempest.icparc.ic.ac.uk> 
I guess the min (and max) of a list constraints don't have tests.  :)

goat: ~/rotds/rotd-2001-11-13/all/install.standard/bin/i386_linux/eclipse 
ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.3 #39, Tue Nov 13 00:12 2001
[eclipse 1]: lib(ic).
ic_kernel.eco loaded traceable 0 bytes in 0.02 seconds
linearize.pl compiled traceable 33848 bytes in 0.03 seconds
ic_constraints.eco loaded traceable 0 bytes in 0.14 seconds
ic_search.eco loaded traceable 0 bytes in 0.01 seconds
ic.eco     loaded traceable 0 bytes in 0.18 seconds

Yes (0.19s cpu)
[eclipse 2]: List = [X, Y, Z], List :: 0..10, W *= min(List).
undefined variable attribute in insert_suspension(X{0 .. 10}, 'SUSP-_670-susp', 6, ic_kernel)
Abort
[eclipse 3]: 

Cheers,
Warwick
Received on Tue Nov 13 22:14:21 2001

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