CI: Enable CI for LLVM 3.9, 4.0 and 5.0

staticafi / symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

http://staticafi.github.io/symbiotic/

MIT License

313 stars 55 forks source link

CI: Enable CI for LLVM 3.9, 4.0 and 5.0 #211

Closed lzaoral closed 2 years ago

lzaoral commented 2 years ago

@mchalupa It looks like https://github.com/mchalupa/dg/commit/220b22bf5b7d9b1d3f4a61b271d85ffac68e66fc was committed accidentally (probably a mistake during a rebase?) as the same piece of code is already present in the given file but with additional ifdef guard. Could you remove it so that dg can be compiled with older LLVM releases as well? Thanks!

lzaoral commented 2 years ago

@trtikm, this PR requires latest HEAD of https://github.com/mchalupa/dg/tree/master.

lzaoral commented 2 years ago

Made obsolete by #231.