[Couenne-tickets] [Couenne] #24: segmentation fault in compExpr::operator()

[Couenne]

#24: segmentation fault in compExpr::operator()
----------------------+----------------------
  Reporter:  stefan   |      Owner:  pbelotti
      Type:  defect   |     Status:  new
  Priority:  major    |  Milestone:
 Component:  Couenne  |    Version:
Resolution:           |   Keywords:
----------------------+----------------------

Comment (by pbelotti):

 Hi Stefan,

 it seems that the usual path for reformulation/simplification is not
 followed correctly, though I can't see where. When rewriting that model as
 an AMPL one, all is fine and Couenne can solve the problem. I can indeed
 reproduce the segfault when replacing BonCouenne.cpp, but please keep in
 mind that creating a TMINLP within the Couenne source hasn't been tested
 yet. Also, your get_nlp_info() method in your MyTMINLP class does not
 return anything although it should return a bool, and Bonmin (at least on
 an updated revision of Couenne) calls it and throws an exception.

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