Abhishek Chaudhary

wrong output for programs with printf function

2

Input C file contents- `#include int main(){ printf("hello"); return 0; }` and `#include int main(){ printf("bye"); return 0; }` `./llreve -I /usr/lib/gcc/x86_64-linux-gnu/7/include/ " + "./"+file+ " ./teacher_solution.c -o reve.smt2` Output-...