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