Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Commit 195e1b6

Browse files
github-actions[bot]github-merge-queue[bot]
andauthored
Update Kani Metrics (#497)
This is an automated PR to update Kani metrics. The metrics have been updated by running `./scripts/run-kani.sh --run metrics`. Co-authored-by: github-merge-queue <118344674+github-merge-queue@users.noreply.github.com>
1 parent 7be2745 commit 195e1b6

File tree

2 files changed

+44
-0
lines changed

2 files changed

+44
-0
lines changed

‎scripts/kani-std-analysis/metrics-data-core.json‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -710,6 +710,28 @@
710710
"verified_safe_fns_under_contract": 111,
711711
"verified_safe_fns_with_loop_under_contract": 0,
712712
"total_functions_under_contract_all_crates": 417
713+
},
714+
{
715+
"date": "2025年10月05日",
716+
"total_unsafe_fns": 7190,
717+
"total_unsafe_fns_with_loop": 22,
718+
"total_safe_abstractions": 1888,
719+
"total_safe_abstractions_with_loop": 88,
720+
"total_safe_fns": 15871,
721+
"total_safe_fns_with_loop": 750,
722+
"unsafe_fns_under_contract": 284,
723+
"unsafe_fns_with_loop_under_contract": 3,
724+
"verified_unsafe_fns_under_contract": 253,
725+
"verified_unsafe_fns_with_loop_under_contract": 1,
726+
"safe_abstractions_under_contract": 77,
727+
"safe_abstractions_with_loop_under_contract": 0,
728+
"verified_safe_abstractions_under_contract": 77,
729+
"verified_safe_abstractions_with_loop_under_contract": 0,
730+
"safe_fns_under_contract": 114,
731+
"safe_fns_with_loop_under_contract": 0,
732+
"verified_safe_fns_under_contract": 111,
733+
"verified_safe_fns_with_loop_under_contract": 0,
734+
"total_functions_under_contract_all_crates": 417
713735
}
714736
]
715737
}

‎scripts/kani-std-analysis/metrics-data-std.json‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -593,6 +593,28 @@
593593
"verified_safe_fns_under_contract": 0,
594594
"verified_safe_fns_with_loop_under_contract": 0,
595595
"total_functions_under_contract_all_crates": 417
596+
},
597+
{
598+
"date": "2025年10月05日",
599+
"total_unsafe_fns": 186,
600+
"total_unsafe_fns_with_loop": 12,
601+
"total_safe_abstractions": 528,
602+
"total_safe_abstractions_with_loop": 47,
603+
"total_safe_fns": 4222,
604+
"total_safe_fns_with_loop": 190,
605+
"unsafe_fns_under_contract": 10,
606+
"unsafe_fns_with_loop_under_contract": 1,
607+
"verified_unsafe_fns_under_contract": 7,
608+
"verified_unsafe_fns_with_loop_under_contract": 0,
609+
"safe_abstractions_under_contract": 0,
610+
"safe_abstractions_with_loop_under_contract": 0,
611+
"verified_safe_abstractions_under_contract": 0,
612+
"verified_safe_abstractions_with_loop_under_contract": 0,
613+
"safe_fns_under_contract": 0,
614+
"safe_fns_with_loop_under_contract": 0,
615+
"verified_safe_fns_under_contract": 0,
616+
"verified_safe_fns_with_loop_under_contract": 0,
617+
"total_functions_under_contract_all_crates": 417
596618
}
597619
]
598620
}

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /