<div dir="ltr">Hi,<div><br></div><div>I'm trying to debug a segfault I'm getting when doing:</div><div><br></div><div><div style="line-height:19px"><div style="color:rgb(0,0,0);font-family:"Droid Sans Mono",monospace,monospace,"Droid Sans Fallback";font-size:14px;white-space:pre"><span style="color:rgb(121,94,38)">SCIPsetLPFeastol</span>(<span style="color:rgb(0,16,128)">p_scip</span>, <span style="color:rgb(0,16,128)">1e-9</span>)</div><br>Using a debugger doesn't help (I guess because I haven't compiled SCIP with debug info), so I was looking at the source code and wanted to make sure I am calling this function from the right "stage". So I inserted these lines just before the above one:</div></div><div style="line-height:19px"><br></div><div style="line-height:19px"><div style="line-height:19px"><div style="color:rgb(0,0,0);font-family:"Droid Sans Mono",monospace,monospace,"Droid Sans Fallback";font-size:14px;white-space:pre"><span style="color:rgb(0,0,255)">SCIP_CALL</span>(<span style="color:rgb(121,94,38)">SCIPprintStage</span>(<span style="color:rgb(0,16,128)">p_env</span>, <span style="color:rgb(0,0,255)">stdout</span>));</div><div style="color:rgb(0,0,0);font-family:"Droid Sans Mono",monospace,monospace,"Droid Sans Fallback";font-size:14px;white-space:pre"><span style="color:rgb(121,94,38)">fflush</span>(<span style="color:rgb(0,0,255)">stdout</span>);</div><div style="color:rgb(0,0,0);font-family:"Droid Sans Mono",monospace,monospace,"Droid Sans Fallback";font-size:14px;white-space:pre"><br></div>but nothing is printed. Any hints why?<div style="color:rgb(0,0,0);font-family:"Droid Sans Mono",monospace,monospace,"Droid Sans Fallback";font-size:14px;white-space:pre"></div></div><div style="line-height:19px"><br></div><div style="line-height:19px">Thanks!</div><div style="line-height:19px">Marco</div></div></div>