From 4da81fa674866550ea1b686911efbbeaabfecad0 Mon Sep 17 00:00:00 2001 From: Birte Friesel Date: Tue, 11 Jul 2023 14:22:26 +0200 Subject: analyze-log: add --export-json-unparam --- bin/analyze-log.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'bin') 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(":") -- cgit v1.2.3