Python ApplicationRunner, haps Examples

Example #1

File: AnalyticalTableauxEndToEndTest.py Project: adolfont/Logic-Dojo

class AnalyticalTableauxEndToEndTest(unittest.TestCase):

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


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

Example #2

File: GatewayBaseModule.py Project: BeeeOn/testing-lib

	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)

Example #3

File: AnalyticalTableauxEndToEndTest.py Project: adolfont/Logic-Dojo

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