/**
* Standard constructor, initializes the edge mapper with the given test history file.
*
* @param histFile Path to the test history file for the program, either absolute or relative to
* the current working directory.
* @throws FileNotFoundException If the specified test history file cannot be found.
* @throws BadFileFormatException If the test history file is corrupted.
* @throws IOException For any other IO error which prevents the test history file from being read
* successfully.
*/
public BlockTestMapper(String histFile)
throws FileNotFoundException, BadFileFormatException, IOException {
thHandler.readTestHistoryFile(histFile);
}
