Hi, I am working on a research project where i need to run multiple file programs using klee. I am actually testing the gzip utility which contains a number of .c and .h files. Can you help me in this regard? Thanks. -Saikat -------------- next part -------------- HTML attachment scrubbed and removed