Add CI tests for LLVM 16 and 17 - Githubissues

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html

GNU General Public License v3.0

781 stars 137 forks source link

Add CI tests for LLVM 16 and 17 #150

Closed aurelf closed 10 months ago