diff --git a/.coveragerc b/.coveragerc
index b857b7e..6f85ed1 100644
--- 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
index 01f28ab..c91647d 100644
--- 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,