Sorry, but that is not enough information for us to even give an idea.

 

It could be a bug in Gecode but also a bug in how you use expressions,
whether you have initialized all variables, etc.

 

Can you provide more detail?

 

Best

Christian

 

--

Christian Schulte, Professor of Computer Science, KTH,
www.ict.kth.se/~cschulte/

 

From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of kTorpi
Sent: Tuesday, December 03, 2013 2:20 PM
To: users@gecode.org
Subject: [gecode-users] Segmentation fault while creating an expression

 

Image removed by sender.Dear all,

I'm building a model in which I create lot of Vars, and also complex
expressions (that actually Vars too) using the minimodel module.
Unfortunately after a while I get a segmentation fault from Gecode.

The line that causes the fault is
   Gecode::expr(solver, left + right)

where solver is my Space, and left and right are IntVars (IntVar
references), which can be also a result of a similar line above, or just
simple "leaf" IntVars.

And the line from which the segafult comes is support/heap.hpp:554, in which
the d pointer seems to be NULL or a wrong address
(http://kepfeltoltes.hu/131203/fault_www.kepfeltoltes.hu_.png).

Please, could you tell me something about this errors? What could cause it?
Am I using Gecode in a wrong way?

I use Gecode version 4.2.1 (same thing happens with 4.1.0), g++ 4.7.2, 64
bit linux.

Thank you for your help!

Steve

<<~WRD000.jpg>>

_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to