Exemplo n.º 1
0
 def assert_exact_search_succeeds(self, functor, claim, intended_result):
   result = functor.search(spec.equal_translates_search_spec(claim))
   self.assertEqual(intended_result, result)
Exemplo n.º 2
0
 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)