Hi, Can anyone please tell me how to introduce a new (not declared in test program) symbolic variable from within KLEE.
-- Thanks and Regards, Sumit
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
