/** Marks the log file so that it will not be deleted at the end of the benchmark. */ void ensureFileIsSaved() { checkOpened(); outputManager.persistFile(file); }
/** Marks the log file so that it will not be deleted at the end of the benchmark. */ void ensureFileIsSaved() { checkOpened(); outputManager.persistFile(file); }