From d714dfb537d991e74bafdfa0ea170802b5af2c7e Mon Sep 17 00:00:00 2001 From: github-merge-queue <118344674+github-merge-queue@users.noreply.github.com> Date: Sun, 26 Jan 2025 00:23:07 +0000 Subject: [PATCH 1/2] Update Kani metrics --- scripts/kani-std-analysis/metrics-data.json | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/scripts/kani-std-analysis/metrics-data.json b/scripts/kani-std-analysis/metrics-data.json index 75a71c0301483..e290263c19ba2 100644 --- a/scripts/kani-std-analysis/metrics-data.json +++ b/scripts/kani-std-analysis/metrics-data.json @@ -12,6 +12,19 @@ "safe_fns_under_contract": 77, "verified_safe_fns_under_contract": 77, "total_functions_under_contract": 224 + }, + { + "date": "2025-01-26", + "total_unsafe_fns": 6987, + "total_safe_abstractions": 1704, + "total_safe_fns": 14666, + "unsafe_fns_under_contract": 144, + "verified_unsafe_fns_under_contract": 132, + "safe_abstractions_under_contract": 41, + "verified_safe_abstractions_under_contract": 41, + "safe_fns_under_contract": 77, + "verified_safe_fns_under_contract": 77, + "total_functions_under_contract": 224 } ] } \ No newline at end of file From 65e6f3ee66671182c1adfc9d2d28942e2c38886a Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Sun, 26 Jan 2025 17:02:05 -0500 Subject: [PATCH 2/2] Update scripts/kani-std-analysis/metrics-data.json --- scripts/kani-std-analysis/metrics-data.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/kani-std-analysis/metrics-data.json b/scripts/kani-std-analysis/metrics-data.json index e290263c19ba2..9113075d9e401 100644 --- a/scripts/kani-std-analysis/metrics-data.json +++ b/scripts/kani-std-analysis/metrics-data.json @@ -27,4 +27,4 @@ "total_functions_under_contract": 224 } ] -} \ No newline at end of file +}