Ejemplo n.º 1
0
class AnalyticalTableauxEndToEndTest(unittest.TestCase):

	def setUp(self):
		self.applicationRunner = ApplicationRunner()


	def testRunProverAndCheckProof(self):
		self.applicationRunner.runProver()
		self.assertEquals(None,self.applicationRunner.getProof())