Added unit test for test_resolver