search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Use clang-9 and llvm-link-9 by default #59

Closed hajduakos closed 4 years ago

hajduakos commented 4 years ago

With this PR we first check if clang-9 exists and if not, we fallback to clang. Same for llvm-link-9 and llvm-link.