Make explicit that we refer to all crates

tautschnig · tautschnig · commit 49ec90c1d7e4 · 2025-03-20T11:51:44.000Z
diff --git a/scripts/kani-std-analysis/kani_std_analysis.py b/scripts/kani-std-analysis/kani_std_analysis.py
@@ -290,7 +290,7 @@ def compute_metrics(self, kani_list_filepath, analysis_results_dir):
             "safe_fns_with_loop_under_contract": safe_fns_with_loop_under_contract,
             "verified_safe_fns_under_contract": verified_safe_fns_under_contract,
             "verified_safe_fns_with_loop_under_contract": verified_safe_fns_with_loop_under_contract,
-            "total_functions_under_contract": kani_data.total_fns_under_contract,
+            "total_functions_under_contract_all_crates": kani_data.total_fns_under_contract,
         }
 
         self.update_plot_metrics([data])

Original file line number	Diff line number	Diff line change
`@@ -290,7 +290,7 @@ def compute_metrics(self, kani_list_filepath, analysis_results_dir):`
`290`	`290`	`"safe_fns_with_loop_under_contract": safe_fns_with_loop_under_contract,`
`291`	`291`	`"verified_safe_fns_under_contract": verified_safe_fns_under_contract,`
`292`	`292`	`"verified_safe_fns_with_loop_under_contract": verified_safe_fns_with_loop_under_contract,`
`293`		`- "total_functions_under_contract": kani_data.total_fns_under_contract,`
	`293`	`+ "total_functions_under_contract_all_crates": kani_data.total_fns_under_contract,`
`294`	`294`	`}`
`295`	`295`
`296`	`296`	`self.update_plot_metrics([data])`