search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
919 stars 140 forks source link

Fix debug-libdeps in CI #706

Closed fabianbs96 closed 3 months ago

fabianbs96 commented 4 months ago

The flag PHASAR_DEBUG_LIBDEPS ignored dependency issues arising from debug-only code, such as assert.