Some new paths in function createNewDirForFile from Paths.h. Can be unavailable.
Example:
file = /home/utbot/.opam/4.08.0/share/sail/lib/sail.c
oldBase = /home/utbot/sail-riscv/c_emulator/SoftFloat-3e/build
newBase = /home/utbot/tmp/UnitTestBot/sail-riscv
result = home/.opam/4.08.0/share/sail/lib/sail.c
result not in temp directory.
Problem arise because we use relative paths to build a temporary directory structure.
Some new paths in function
createNewDirForFile
fromPaths.h
. Can be unavailable. Example: file = /home/utbot/.opam/4.08.0/share/sail/lib/sail.c oldBase = /home/utbot/sail-riscv/c_emulator/SoftFloat-3e/build newBase = /home/utbot/tmp/UnitTestBot/sail-riscv result = home/.opam/4.08.0/share/sail/lib/sail.c result not in temp directory.Problem arise because we use relative paths to build a temporary directory structure.