Searching in tests/butterfly1.0