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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
