Hi, I have a question about the `const std::string &file` in `struct InstructionInfo`. From my observation, this `file` is always a relative path, regardless of whether the file is in klee-uclibc, klee runtime, or my own testing subjects. For example, we have:
- runtime/POSIX/fd.c - ../lib/getopt.c - libc/string/strcmp.c This makes it difficult to analyze, especially in `run.istats`, as tools like kcachegrind cannot find the corresponding source code with relative paths. Is there a way to make the `file` absolute? Thanks, Jiayi
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
