Test case for Resolver.