Hi, I'm trying to run a KLEE on Parboil benchmark. I would like to ask does KLEE handle an input file with (.dat) extension?. Also, Can KLEE work on a program written in C++.
Thank you Nourah
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev