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 -------------- next part -------------- HTML attachment scrubbed and removed