[klee-dev] C++ and file with .dat extension

[Nourah mmm]

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