Add output file name to CLI.

This commit is contained in:
Lukas Steiner
2021-08-16 11:03:26 +02:00
parent fc318aa44e
commit 8123f5d698

View File

@@ -275,8 +275,12 @@ def dumpVcd(pathToTrace):
return f.read()
if __name__ == "__main__":
if len(sys.argv) < 2:
print("Usage:", sys.argv[0], "<tracefile>")
else:
if len(sys.argv) == 2:
dump = dumpVcd(sys.argv[1])
print(dump)
elif len(sys.argv) == 3:
dump = dumpVcd(sys.argv[1])
with open(sys.argv[2], 'x') as outputFile:
outputFile.write(dump)
else:
print("Usage: ", sys.argv[0], "<trace_file> [output_file_name]")