search

sat-group / open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Other
69 stars 12 forks source link

tests: add valgrind test #5

Closed conp-solutions closed 5 years ago

conp-solutions commented 5 years ago

A comment in the open-wbo code suggests that there might be memory leaks. This test runs valgrind to search for these kind of leaks. In case of a leak, the test will return with 1, and print the log.

conp-solutions commented 5 years ago

When executing the added "./run.sh" script, the valgrind test fails, and points to potential memory leaks in the solver. This test could be used to resolve the open memory leaks in the solver.