Searching in tests/live_verification