class AnalyticalTableauxEndToEndTest(unittest.TestCase):

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


	def testRunProverAndCheckProof(self):
		self.applicationRunner.runProver()
		self.assertEquals(None,self.applicationRunner.getProof())
	def __init__(self, *args, **kwargs):
		super().__init__(*args, **kwargs)
		self.tmpDir = globalConfig.baseDir + "/tmp"
		if not os.path.exists(self.tmpDir):
			os.makedirs(self.tmpDir)
		outFile = self.tmpDir + "/gw" + self.__class__.__name__ + "." + self._testMethodName + ".out"
		errFile = self.tmpDir + "/gw" + self.__class__.__name__ + "." + self._testMethodName + ".out"
		self.GR = ApplicationRunner.ApplicationRunner(globalConfig.gatewayBinary, globalConfig.gatewayStartup, errFile, outFile)
	def setUp(self):
		self.applicationRunner = ApplicationRunner()