Searching in rover/src/libraries/pthread_monitoring