[Couenne-tickets] [Couenne, a solver for non-convex MINLP problems] #17: segmentation fault in expression::compare with exprCopy

[Couenne, a solver for non-convex MINLP problems]

#17: segmentation fault in expression::compare with exprCopy
-------------------------+----------------------
  Reporter:  stefan      |      Owner:  somebody
      Type:  defect      |     Status:  new
  Priority:  major       |  Milestone:
 Component:  component1  |    Version:
Resolution:              |   Keywords:
-------------------------+----------------------

Comment (by stefan):

 Short update:

 The duplicate entries in
 {{{max(y_156,y_156,max(y_155,y_155,max(y_154,y_154,max(y_153,y_153,-1e+299,-1e+299),...}}}
 are due to the way that Couenne handles {{{min}}} and {{{max}}}.
 When creating an {{{exprMax}}} with 2 arguments, the {{{exprMax}}}
 constructor creates 4 arguments for it.

 The recursive use of max operators and the {{{-1e+299}}} is due to the way
 how GAMS handles a max over a set.

 Couenne (stable/0.4 rev848) produces a similar segmentation fault when
 using min instead of max.

-- 
Ticket URL: <https://projects.coin-or.org/ticket/17#comment:1>
Couenne, a solver for non-convex MINLP problems <https://projects.coin-or.org/Couenne>
Couenne, a solver for non-convex MINLP problems