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
773 stars 135 forks source link

add github action to build and test SymCC in multiple stages #72

Closed aurelf closed 3 years ago

aurelf commented 3 years ago

Adds a github action that builds docker image and tests SymCC when new commits are pushed or when a PR is made.