adding support for libc's "fgets" and "fgetc" needed for Ada language

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

adding support for libc's "fgets" and "fgetc" needed for Ada language #39

Closed kg8280 closed 3 years ago

kg8280 commented 3 years ago

These are libc functions used from Ada runtime libraries to read from standard input.

kg8280 commented 3 years ago

Hi Sebastian,

Thank you for your review and for catching up on the mistakes. I am still in the process of understanding how things work :). I made all the changes. Please, let me know if now everything is OK.

Thank you, Kyriakos

sebastianpoeplau commented 3 years ago

Sorry for the long delay! All is good - I've rebased and merged, thanks a lot for the contribution!