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()