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

Revert "symcc_fuzzing_helper: Move to clap3 (#94)" #101

Closed aurelf closed 2 years ago

aurelf commented 2 years ago

Reverts eurecom-s3/symcc#94 this didn't pass the CI tests actually