public function testExecMutants($fileUnderTesting = "Prime.c", $dirUnderTesting = __DIR__ . '/../Proteum_Prime/') { $nameProblem = substr($fileUnderTesting, 0, -4); $proteum = new Proteum(); $proteum->setWorkingDir($dirUnderTesting); $proteum->setMainFile($nameProblem); $proteum->execMutants($nameProblem); $this->assertTrue(filesize($dirUnderTesting . '/Prime.MUT') > 0); }
private function execProteum($dirUnderTesting, $fileUnderTesting, $dirCaseTest, $sizeTests) { $nameProblem = substr($fileUnderTesting, 0, -4); $proteum = new Proteum(); $proteum->setWorkingDir($dirUnderTesting); $proteum->setMainFile($nameProblem); $proteum->createSession($nameProblem, $fileUnderTesting); $proteum->createTestSet($nameProblem); $proteum->generateMutants($nameProblem, $nameProblem); $proteum->changeVersion($dirUnderTesting, '2', $nameProblem); $proteum->importAsciiTestCase2($nameProblem, $dirCaseTest, 'case', 'param', $sizeTests, '1'); $proteum->changeVersion($dirUnderTesting, '1', $nameProblem); $proteum->execMutants($nameProblem); $proteum->statusReport(); }