Hi, My test program is this: I declare 'x' as symbolic and then pass the address / value of x as argument to function foo like foo(x) or foo(&x). Inside the function foo no variables have been explicitly made symbolic. Now when I run KLEE I do not see any constraints generated from foo. How can I get KLEE to generate constraints from within function calls. I am using KLEE with llvm2.9.
-- Thanks and Regards Sumit
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
