(cls)
| 29 | |
| 30 | @classmethod |
| 31 | def setUpClass(cls): |
| 32 | super().setUpClass() |
| 33 | |
| 34 | cls.defs = pr.Definition.from_txt_file('defs.txt', to_dict=True) |
| 35 | cls.rules = pr.Theorem.from_txt_file('rules.txt', to_dict=True) |
| 36 | |
| 37 | # load a complex setup: |
| 38 | txt = 'a b c = triangle a b c; h = orthocenter a b c; h1 = foot a b c; h2 = foot b c a; h3 = foot c a b; g1 g2 g3 g = centroid g1 g2 g3 g a b c; o = circle a b c ? coll h g o' # pylint: disable=line-too-long |
| 39 | p = pr.Problem.from_txt(txt, translate=False) |
| 40 | cls.g, _ = gh.Graph.build_problem(p, GraphTest.defs) |
| 41 | |
| 42 | def test_build_graph_points(self): |
| 43 | g = GraphTest.g |
nothing calls this directly
no test coverage detected