Searching in tests/leon-1.0