Fix problem with stdin-read variable in klee and add test for launchi…#563

Merged

sava-cska merged 1 commit intomainfrom

sava-cska/fix_io

Dec 21, 2022

Commits on Dec 19, 2022

Fix problem with stdin-read variable in klee and add test for launching all generated tests in file.c and input_output.c
sava-cska
committed