diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 3e3454e..958a30c 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -429,6 +429,7 @@ if __name__ == "__main__": optspec = ( "accounting= " "arch= " + "arch-flags= " "app= " "data= " "depth= " @@ -454,6 +455,11 @@ if __name__ == "__main__": if "app" not in opt: opt["app"] = "aemr" + if "arch-flags" in opt: + opt["arch-flags"] = opt["arch-flags"].split(",") + else: + opt["arch-flags"] = list() + if "depth" in opt: opt["depth"] = int(opt["depth"]) else: @@ -522,8 +528,9 @@ if __name__ == "__main__": sys.exit(2) if "msp430fr" in opt["arch"]: - # target = runner.Arch(opt["arch"], ["cpu_freq=8000000", "with_hfxt=1"]) - target = runner.Arch(opt["arch"], ["cpu_freq=8000000"]) + if len(opt["arch-flags"]) == 0: + opt["arch-flags"] = ["cpu-freq=8000000"] + target = runner.Arch(opt["arch"], opt["arch-flags"]) else: target = runner.Arch(opt["arch"]) |