← Back to repositories

model-checking/kani

github.com/model-checking/kani ↗

Rust

Stars

⭐ 3.0K

PRs Reviewed

3

Bot Comments

9

Primary Language

Rust

Merge Rate

33.3%

Avg Time to Merge

8w

Avg Additions

+225

Avg Deletions

-28

Avg Files Changed

6

AI Review Products#

AI code review products active on this repository.