Searching in test/SemaCUDA