Relative/absolute path consistency

[jamartis]

Symbiotic sometimes reports errors with relative path and sometimes with the absolute path:

bash-5.0$ pwd
/home/jamartis
bash-5.0$ symbiotic --prp=memsafety /home/jamartis/foo.c 
...
Error: memory error: invalid pointer: free
File: /home/jamartis/foo.c

bash-5.0$ pwd
/home/jamartis
bash-5.0$ symbiotic --prp=memsafety ./foo.c 
...
Error: memory error: invalid pointer: free
File: /home/jamartis/foo.c

bash-5.0$ pwd
/tmp
bash-5.0$ symbiotic --prp=memsafety /tmp/foo.c
...
Error: memory error: invalid pointer: free
File: foo.c

bash-5.0$ pwd
/tmp
bash-5.0$ symbiotic --prp=memsafety ./foo.c
...
Error: memory error: invalid pointer: free
File: foo.c

would it be possible, to make this consistent, and ideally in a such way that when the input is relative path, the output would be also relative and when the input is absolute, the output would be absolute too?

[mchalupa]

Hmm, this is output from KLEE, so it is probably there. I'll take a look.