public void SaveTestBenchToFile(TimeInterval ti, String testbenchFileName)
{
StreamWriter sw = File.CreateText(testbenchFileName);
TestBenchUtil.GenerateTestbenchAsStream(currentPorts, selectedPorts, archName, ti, sw);
sw.Close();
}
public void SaveTestBenchToFile(TimeInterval ti, StreamWriter writer)
{
TestBenchUtil.GenerateTestbenchAsStream(currentPorts, selectedPorts, archName, ti, writer);
}