def assert_exact_search_succeeds(self, functor, claim, intended_result): result = functor.search(spec.equal_translates_search_spec(claim)) self.assertEqual(intended_result, result)
def assert_exact_path_search_succeeds_once(self, src_path, formula): self.assert_path_search_succeeds(src_path = src_path, search_spec = spec.equal_translates_search_spec(formula), number = 1)