id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
19903 crash with MIP_Problem vdelecroix "The following crashes Sage
{{{
sage: from sage.libs.ppl import Variable, Constraint_System, MIP_Problem
sage: x = Variable(0)
sage: y = Variable(1)
sage: cs = Constraint_System()
sage: cs.insert(x + y <= 2)
sage: MIP_Problem(2, cs, 0)
...
Unhandled SIGSEGV: A segmentation fault occurred in Sage.
}}}
If we replace `0` by `x` or `y` it also crashes... but with `x-x` or `x+y` or `x+0`it is fine!
This is just a problem of types." defect closed critical sage-7.2 linear programming fixed vbraun Vincent Delecroix Volker Braun, Matthias Koeppe N/A f0c0346fd6ded2232401125b828a04364f2fb354 f0c0346fd6ded2232401125b828a04364f2fb354