search

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
771 stars 137 forks source link

Update README.md for using LLVM-14 #154

Closed aurelf closed 5 months ago

aurelf commented 6 months ago

Update README.md with instructions for LLVM-14 (instead of 10)