Skip to content

Commit d714dfb

Browse files
Update Kani metrics
1 parent ca725a7 commit d714dfb

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

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

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,19 @@
1212
"safe_fns_under_contract": 77,
1313
"verified_safe_fns_under_contract": 77,
1414
"total_functions_under_contract": 224
15+
},
16+
{
17+
"date": "2025-01-26",
18+
"total_unsafe_fns": 6987,
19+
"total_safe_abstractions": 1704,
20+
"total_safe_fns": 14666,
21+
"unsafe_fns_under_contract": 144,
22+
"verified_unsafe_fns_under_contract": 132,
23+
"safe_abstractions_under_contract": 41,
24+
"verified_safe_abstractions_under_contract": 41,
25+
"safe_fns_under_contract": 77,
26+
"verified_safe_fns_under_contract": 77,
27+
"total_functions_under_contract": 224
1528
}
1629
]
1730
}

0 commit comments

Comments
 (0)