From 679eaffd52206ab3bdd5381be97928a944d1b9c4 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Tue, 14 Jan 2025 09:55:08 -0500 Subject: [PATCH] update comment --- scripts/kani-std-analysis/kani_std_analysis.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/kani-std-analysis/kani_std_analysis.py b/scripts/kani-std-analysis/kani_std_analysis.py index 21ab143ae8db..09bb219d899f 100755 --- a/scripts/kani-std-analysis/kani_std_analysis.py +++ b/scripts/kani-std-analysis/kani_std_analysis.py @@ -144,7 +144,7 @@ def __init__(self, metrics_file): self.unsafe_metrics = ['total_unsafe_fns', 'unsafe_fns_under_contract', 'verified_unsafe_fns_under_contract'] self.safe_abstr_metrics = ['total_safe_abstractions', 'safe_abstractions_under_contract', 'verified_safe_abstractions_under_contract'] self.safe_metrics = ['total_safe_fns', 'safe_fns_under_contract', 'verified_safe_fns_under_contract'] - # The keys in these dictionaries are unsafe_metrics and safe_abstr_metrics, respectively; see update_plot_metrics() + # The keys in these dictionaries are unsafe_metrics, safe_abstr_metrics, and safe_metrics, respectively; see update_plot_metrics() self.unsafe_plot_data = defaultdict(list) self.safe_abstr_plot_data = defaultdict(list) self.safe_plot_data = defaultdict(list)