def setUp(self):
""" Setup: prover interface, Coqdoc_Reader instance. """
self.reader = Coqdoc_Reader()
self.mock_prover = Mock()
self.mock_prover.send = Mock(return_value="Result")
self.template = "<html><body>{body}</body></html>"
