test file for the resolver