[Cbc] stack corruption / assertion failure in CBC

[victor.zverovich at gmail.com]

It works perfectly now, thanks!

Victor


On Tue, May 13, 2014 at 12:29 AM, John Forrest
<john.forrest at fastercoin.com>wrote:

>  Modified (in stable/2.8 and trunk) to give 30 characters per variable -
> hopefully enough.
>
> John Forrest
>
>
> On 12/05/14 20:19, victor.zverovich at gmail.com wrote:
>
>  Hi,
>
>  Trying to solve the attached problem with CBC results in stack corruption
> (if assertions disabled) or an assertion failure:
>
>  $ ./cbc test.nl -AMPL
> cbc: .../Cbc/src/Cbc_ampl.cpp:1439: void CoinModel::gdb(int, const char*,
> const void*): Assertion `strlen(temp) < 1000' failed.
> CBC 2.8.8: Aborted (core dumped)
>
>  Here's the stack trace:
>
>  __GI_raise() at raise.c:56 0x7ffff6bf0f77
> __GI_abort() at abort.c:90 0x7ffff6bf45e8
>  __assert_fail_base() at assert.c:92 0x7ffff6be9d43
> __GI___assert_fail() at assert.c:101 0x7ffff6be9df2
> CoinModel::gdb() at Cbc_ampl.cpp:1,439 0x56a5a5
> CoinModel::CoinModel() at Cbc_ampl.cpp:785 0x5673f8
> readAmpl() at Cbc_ampl.cpp:539 0x56636b
> CbcMain1() at CbcSolver.cpp:1,320 0x4e747d
> CbcMain1() at CbcSolver.cpp:1,143 0x4e6bf2
> main() at CoinSolve.cpp:336 0x4e05f5
>
>  Best regards,
> Victor
>
>
> _______________________________________________
> Cbc mailing listCbc at list.coin-or.orghttp://list.coin-or.org/mailman/listinfo/cbc
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140513/9983e459/attachment.html>