Searching in libitm/testsuite