chore: being compatible with C++17 - Githubissues

tracer-x / TracerX

TracerX Symbolic Virtual Machine

https://tracer-x.github.io/

Other

31 stars 11 forks source link

chore: being compatible with C++17 #408

Closed TheHillBright closed 2 months ago

TheHillBright commented 2 months ago

Ported from klee/klee#599 and klee/klee#1029 . Can be merged straightaway.