}
}
String name = AFileUtilities.appendToFileName(in, AFileUtilities.generateValidFileName(terminal.getName()));
File targetFile = new File(name);
checkParent(targetFile);
VerilogStimuliLogHandler log = new VerilogStimuliLogHandler(targetFile);
terminal.addLogHandler(log);
logHandlersStack.push(log);
System.out.println("Verilog stimuli generator target file: " + targetFile.getCanonicalPath());
return true;
}