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

Segfault in Set Cover generator #374

Open
nkrit1 opened this issue Sep 8, 2024 · 0 comments
Open

Segfault in Set Cover generator #374

nkrit1 opened this issue Sep 8, 2024 · 0 comments
Labels
type/bug 🐛 Something isn't working

Comments

@nkrit1
Copy link

nkrit1 commented Sep 8, 2024

Describe the bug

There is a segfault when creating new SetCover instance in example/libecole/src/branching.cpp.

Setting

  • OS: Ubuntu 18.04
  • Compiler: gcc 12.4.0
  • Python version: 3.11.9
  • Ecole version: 0.8.1 (last release)
  • SCIP: 8.0.0 (passed as CMAKEARGS to ecole)
  • CMake: 3.30.3
  • xsimd: 8.1.0
  • xtensor: 0.24.6
  • xtensor-python: 0.26.1

To Reproduce

  1. Just run branching.cpp example

Expected behavior

Generation of new SetCover instance.

Additional context

I use gdb for debugging and the main tread is paused on exception(segfault) and the bug is generated in generate_instance() in function set_slice().

@nkrit1 nkrit1 added the type/bug 🐛 Something isn't working label Sep 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/bug 🐛 Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant