Andrew John Sadler wrote: > Envelope-to: eclipse-users-outbound@icparc.ic.ac.uk > Delivery-date: Wed, 2 Oct 2002 15:50:18 +0100 > Date: Wed, 02 Oct 2002 16:38:29 +0200 > From: Jesper Hansen <jesperh@skydebanen.net> > Reply-To: jha@imm.dtu.dk > Organization: DTU > X-Accept-Language: en > Content-Type: text/plain; charset=us-ascii > Sender: owner-eclipse-users@icparc.ic.ac.uk > Precedence: bulk > > Hi Eclipse team > > I have a little program that at some stage halts. When I then try to > abort it, I get the following: > > interruption: type a, b, c, e, or h for help : ? abort > Aborting execution ... > Segmentation violation - possible reasons are: > - a faulty external C function > - certain operations on circular terms > - machine stack overflow > - an internal error in ECLiPSe > Aborting execution.... > > *** ECLiPSe fatal error: reset/0 called > 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.5 #26, Wed Aug 28 00:13 2002 > [eclipse 1]: > > Any ideas what the problem might be? I'm using the Summer School version > of ECLiPSe. > > Are you using the cumulative constraint by any chance? If so that > could be the problem. A bug was found that could cause such problems. Nope. > > > The problem has been fixed in the main branch which you should be able > to get by downloading the 'dev' directory from the web-site. > > If you're not using cumulative could you give us a few more details of > what causes the problem. It happens in the line: Instance: eplex_solver_setup(min(Objective),Profit,[],5, [bounds]), Is it possible to check the state of the eplex instance before the above call? > > > Andrew Sadler -- _______________________________________ Jesper Hansen Ph.D. student Telephone: (+45) 45 25 33 88 Telefax.: (+45) 45 25 26 73 E-mail: mailto:jha@imm.dtu.dk Homepage: http://www.imm.dtu.dk/~jha/ Department of Mathematical Modelling Building 305 Technical University of Denmark DK-2800 LyngbyReceived on Wed Oct 02 16:26:23 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:17 PM GMT GMT