/libitm/testsuite/config/
../
default.exp