libwrappers: symbolic getchar

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

GNU General Public License v3.0

773 stars 135 forks source link

Closed adrianherrera closed 2 years ago

adrianherrera commented 3 years ago

Per the man page,

getchar() is equivalent to getc(stdin).

sebastianpoeplau commented 2 years ago

Nice, thank you! (And sorry for the delay...)