search

sat-group / open-wbo

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

sanitization: make available #11

Closed conp-solutions closed 5 years ago

conp-solutions commented 5 years ago

When trying to spot bugs, sanitizers help. This commit allows to enable them during compilation.

This helped to spot one of the mergesat bugs.