Fix coverage of tests.

krr-up · May 23, 2023 · eb951ca · eb951ca
1 parent e25fece
commit eb951ca
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/.coveragerc b/.coveragerc
@@ -1,5 +1,6 @@
 [run]
 source = renopro
+       tests
 omit = */renopro/__main__.py
 [report]
 exclude_lines =

diff --git a/tests/test_reify.py b/tests/test_reify.py
@@ -17,13 +17,6 @@ def test_add_ast_facts(self):
         rast.add_ast_facts(ast_facts)
         self.assertEqual(rast.factbase, FactBase(ast_facts))
 
-    def assertReifiedFactsEqual(self, prog_str: str, facts:
-                                Iterable[preds.AST_Predicate]):
-        """Assert that factbase contained in reified AST equals
-        factbase constructed from list of AST Predicates."""
-        rast = ReifiedAST.from_str(prog_str)
-        self.assertEqual(rast.factbase, FactBase(facts))
-
     def assertConversionsEqual(self, prog_str: str,
                                ast_facts: Iterable[preds.AST_Predicate]):
         """Assert that reification of prog_str results in ast_facts,