search

secure-software-engineering / phasar

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

Fix LLVM Issue in CI #570

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Thanks @vulder for pointing out this fix: https://github.com/se-sic/vara-feature/commit/04bbe3f4968e9b3dbc9b40b9350757cab617afc0