Hi everyone, I have written a code like this
fp = fopen(argv[1],"r") read(fp,c,1); if(c == 48) assert(0) I compiled this and run it arg sym-file 1 10 allow-external-sym-calls and libc=uclibc. But klee is not able to find the crash. What I am missing due to which crash is not found? -- Thanking You Awanish Pandey PhD, CSE IIT Kanpur
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
