When dumping string representation of a test show the absolute path to the ktest file.
When dumping string representation of a test show the absolute path
to the ktest file.

delcypher/klee-runner,delcypher/klee-runner