README File in Example section

[renoteteam]

Hi, I am reading and trying to replicate your work. I have noticed some typos in your README file.

1. You provided cd /home/fptesting/example; ls. However, I think it should be cd /home/fptesting/FPTesting/example; ls
2. Also, this command ../scripts/compute_error.sh "klee-last/test0000*-input" test/add-64 test/add128. After running this, it shows "test/add128: No such file or directory". What file is this?