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

Fix conditions to push docker image #170

Closed aurelf closed 2 months ago

aurelf commented 2 months ago

We don't run the tests on master (as they have been run before merge). Just create the docker image and push it.