AnalyticModel, PTAModel: add distinct_param_values_by_name

1 files changed, 6 insertions, 1 deletions

diff --git a/bin/analyze-kconfig.py b/bin/analyze-kconfig.py
index 4a71617..ffe7648 100755
--- a/bin/analyze-kconfig.py
+++ b/bin/analyze-kconfig.py
@@ -134,7 +134,12 @@ def main():
         raise NotImplementedError()
 
     if args.info:
-        print("TODO")
+        for name in model.names:
+            print(f"{name}:")
+            print(f"""    Number of Measurements: {len(by_name[name]["param"])}""")
+            for i, param in enumerate(model.parameters):
+                param_values = model.distinct_param_values_by_name[name][i]
+                print(f"    Parameter {param} ∈ {param_values}")
 
     if args.export_tree:
         with open("nfpkeys.json", "r") as f: