Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

"sym_add_col" works incorrectly (see details) [Okay with 5.5 but not 5.6 or trunk] #136

Open
svigerske opened this issue Feb 26, 2019 · 2 comments
Assignees
Labels
bug Something isn't working Master module

Comments

@svigerske
Copy link
Member

Issue created by migration from Trac.

Original creator: anh509

Original creation time: 2014-11-27 00:55:43

Assignee: @tkralphs

Version: stable/5.6 (SVN)

Please see the two attached files "test_milp.MPS" and "milp.c". The c file adds a new column to a very basic problem. The new problem should only have an added "z" variable in the objective. For this particular problem, (after compiling the example and ./exe_name -F test_milp.MPS) symphony terminates with seg fault. For another problem tested, it returns an incorrect problem, mixing up columns and values. The result of valgrind (when failing with seg fault) is

==9799== Invalid read of size 8
==9799== at 0x4C2A7E8: memcpy (mc_replace_strmem.c:838)
==9799== by 0x4157B6: sym_add_col(SYM_ENVIRONMENT*, int, int*, double*, double, double, double, char, char*) (master.c:4129)

This result is obtained by configuring 5.6 stable (or trunk) as follows:

../configure --enable-debug --enable-sensitivity-analysis --with-cplex-lib='-L/usr/local/CPLEX_Studio_125/cplex/lib/x86-64_sles10_4.1/static_pic/ -lcplex -lpthread -lm' --with-cplex-incdir=/usr/local/CPLEX_Studio_125/cplex/include/ilcplex --with-lp-solver=cplex

@svigerske svigerske added bug Something isn't working Master module labels Feb 26, 2019
@svigerske
Copy link
Member Author

Attachment test_milp.MPS by anh509 created at 2014-11-27 00:56:42

@svigerske
Copy link
Member Author

Attachment milp.c by anh509 created at 2014-11-27 00:56:59

@tkralphs tkralphs self-assigned this Jul 30, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working Master module
Projects
None yet
Development

No branches or pull requests

2 participants