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>"