Commit 4346d821 authored by Gaurav Kukreja's avatar Gaurav Kukreja

Modified draw_cfg.py to output pdf files

Signed-off-by: Gaurav Kukreja's avatarGaurav Kukreja <gaurav@gauravk.in>
parent 5fe25a49
...@@ -72,7 +72,7 @@ def draw_cfg(function, outputPath=None): ...@@ -72,7 +72,7 @@ def draw_cfg(function, outputPath=None):
outputPath = "/tmp/" outputPath = "/tmp/"
dotFileName = outputPath + fileNamePrefix + ".dot" dotFileName = outputPath + fileNamePrefix + ".dot"
psFileName = outputPath + fileNamePrefix + ".ps" psFileName = outputPath + fileNamePrefix + ".pdf"
dotFile = open(dotFileName, "w") dotFile = open(dotFileName, "w")
dotFile.write("digraph "+fileNamePrefix+" {\n") dotFile.write("digraph "+fileNamePrefix+" {\n")
...@@ -119,7 +119,7 @@ def draw_cfg(function, outputPath=None): ...@@ -119,7 +119,7 @@ def draw_cfg(function, outputPath=None):
dotFile.write("}\n") dotFile.write("}\n")
dotFile.close() dotFile.close()
call(args=["dot", "-Tps", dotFileName, "-o", psFileName]) call(args=["dot", "-Tpdf", dotFileName, "-o", psFileName])
return psFileName return psFileName
def main(listInputFileNames, outputPath=None): def main(listInputFileNames, outputPath=None):
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment