search

season-lab / fuzzolic

fuzzing + concolic = fuzzolic :)
https://season-lab.github.io/fuzzolic/
GNU General Public License v2.0
117 stars 6 forks source link

Fix docker name #12

Closed lekcyjna123 closed 9 months ago

lekcyjna123 commented 9 months ago

Hi,

according to the https://github.com/season-lab/fuzzolic/issues/9 it should be used the ercoppa/fuzzolic-runner-v1:ubuntu2004 docker image, but in the Makefile and documentation still there is old name. This PR update it.

ercoppa commented 9 months ago

Thank you!