private static TestInfo AnalyzeKleeTestFiles(DirectoryInfo testDirInfo)
{
var files = testDirInfo.EnumerateFiles("*.ktest");
var testInfo = new TestInfo(testDirInfo.FullName);
testInfo.InitializeForStoringData(false);
foreach (var file in files)
{
var relativePath = ParaibaPath.GetRelativePath(file.FullName, testDirInfo.FullName);
var testCase = new TestCase(relativePath, file.FullName, new CodeRange());
testInfo.TestCases.Add(testCase);
testCase.InitializeForStoringData(false);
var dataPath = file.FullName + OccfNames.Record;
CoverageDataReader.ReadFile(testInfo, new FileInfo(dataPath), testCase);
}
return(testInfo);
}
