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

Missing build dependencies in README #47

Closed SweetVishnya closed 3 years ago

SweetVishnya commented 3 years ago

Hi!

It would be nice to list all build dependencies in README. Like lit and so on.

sebastianpoeplau commented 3 years ago

Yes, we should probably mention lit. Did you find anything else that is required but not mentioned?

SweetVishnya commented 3 years ago

I do not remember( you can check the Dockerfile

aurelf commented 3 years ago

Closed by 9b20609