diff options
author | Birte Friesel <daniel.friesel@uos.de> | 2023-07-11 14:22:26 +0200 |
---|---|---|
committer | Birte Friesel <daniel.friesel@uos.de> | 2023-07-11 14:22:26 +0200 |
commit | 4da81fa674866550ea1b686911efbbeaabfecad0 (patch) | |
tree | 2f0100b06f003407dbb850f6879d0c9c64c9c550 /bin | |
parent | 99b168d637cf0c4e23f4eca6448f2cae05921fd2 (diff) |
analyze-log: add --export-json-unparam
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/analyze-log.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/analyze-log.py b/bin/analyze-log.py index e9fda6e..03cdf64 100755 --- a/bin/analyze-log.py +++ b/bin/analyze-log.py @@ -152,6 +152,9 @@ def main(): if args.export_pgf_unparam: dfatool.cli.export_pgf_unparam(model, args.export_pgf_unparam) + if args.export_json_unparam: + dfatool.cli.export_json_unparam(model, args.export_json_unparam) + if args.plot_unparam: for kv in args.plot_unparam.split(";"): state_or_trans, attribute, ylabel = kv.split(":") |