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

runtime: more permissive std::filesystem check #131

Closed adrianherrera closed 1 year ago

adrianherrera commented 1 year ago

The current std::filesystem check is relatively simple (in particular, it appears to fail on Ubuntu 18.04). I've adopted a more "rigorous" check from here that links the appropriate library if required (and does nothing on newer systems).

sebastianpoeplau commented 1 year ago

Nice, thanks @adrianherrera!

sebastianpoeplau commented 1 year ago

@adrianherrera since you mentioned Ubuntu 18.04, the discussion about LLVM compatibility in #130 might be relevant to you...