Searching in tinytest