(self)
| 56 | self.assertTrue(success) |
| 57 | |
| 58 | def test_incenter_excenter_should_fail(self): |
| 59 | p = pr.Problem.from_txt( |
| 60 | 'a b c = triangle a b c; d = incenter d a b c; e = excenter e a b c ?' |
| 61 | ' perp d c c e' |
| 62 | ) |
| 63 | g, _ = gh.Graph.build_problem(p, DDTest.defs) |
| 64 | goal_args = g.names2nodes(p.goal.args) |
| 65 | |
| 66 | success = False |
| 67 | for level in range(MAX_LEVEL): |
| 68 | added, _, _, _ = dd.bfs_one_level(g, DDTest.rules, level, p) |
| 69 | if g.check(p.goal.name, goal_args): |
| 70 | success = True |
| 71 | break |
| 72 | if not added: # saturated |
| 73 | break |
| 74 | |
| 75 | self.assertFalse(success) |
| 76 | |
| 77 | |
| 78 | if __name__ == '__main__': |
nothing calls this directly
no test coverage detected