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 8de7d8f

Browse files
github-actions[bot]github-merge-queue[bot]
andauthored
Update Kani Metrics (model-checking#478)
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 2a203c5 commit 8de7d8f

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
@@ -600,6 +600,28 @@
600600
"verified_safe_fns_under_contract": 111,
601601
"verified_safe_fns_with_loop_under_contract": 0,
602602
"total_functions_under_contract_all_crates": 417
603+
},
604+
{
605+
"date": "2025年08月24日",
606+
"total_unsafe_fns": 7194,
607+
"total_unsafe_fns_with_loop": 22,
608+
"total_safe_abstractions": 1886,
609+
"total_safe_abstractions_with_loop": 88,
610+
"total_safe_fns": 15820,
611+
"total_safe_fns_with_loop": 750,
612+
"unsafe_fns_under_contract": 284,
613+
"unsafe_fns_with_loop_under_contract": 3,
614+
"verified_unsafe_fns_under_contract": 253,
615+
"verified_unsafe_fns_with_loop_under_contract": 1,
616+
"safe_abstractions_under_contract": 77,
617+
"safe_abstractions_with_loop_under_contract": 0,
618+
"verified_safe_abstractions_under_contract": 77,
619+
"verified_safe_abstractions_with_loop_under_contract": 0,
620+
"safe_fns_under_contract": 114,
621+
"safe_fns_with_loop_under_contract": 0,
622+
"verified_safe_fns_under_contract": 111,
623+
"verified_safe_fns_with_loop_under_contract": 0,
624+
"total_functions_under_contract_all_crates": 417
603625
}
604626
]
605627
}

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

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -483,6 +483,28 @@
483483
"verified_safe_fns_under_contract": 0,
484484
"verified_safe_fns_with_loop_under_contract": 0,
485485
"total_functions_under_contract_all_crates": 417
486+
},
487+
{
488+
"date": "2025年08月24日",
489+
"total_unsafe_fns": 184,
490+
"total_unsafe_fns_with_loop": 12,
491+
"total_safe_abstractions": 505,
492+
"total_safe_abstractions_with_loop": 47,
493+
"total_safe_fns": 4181,
494+
"total_safe_fns_with_loop": 190,
495+
"unsafe_fns_under_contract": 10,
496+
"unsafe_fns_with_loop_under_contract": 1,
497+
"verified_unsafe_fns_under_contract": 7,
498+
"verified_unsafe_fns_with_loop_under_contract": 0,
499+
"safe_abstractions_under_contract": 0,
500+
"safe_abstractions_with_loop_under_contract": 0,
501+
"verified_safe_abstractions_under_contract": 0,
502+
"verified_safe_abstractions_with_loop_under_contract": 0,
503+
"safe_fns_under_contract": 0,
504+
"safe_fns_with_loop_under_contract": 0,
505+
"verified_safe_fns_under_contract": 0,
506+
"verified_safe_fns_with_loop_under_contract": 0,
507+
"total_functions_under_contract_all_crates": 417
486508
}
487509
]
488510
}

0 commit comments

Comments
(0)

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