diffblue/cbmc

Stars

⭐ 1.0K

PRs Reviewed

62

Bot Comments

241

Primary Language

C++

Merge Rate

9.7%

Avg Time to Merge

4w

Avg Additions

+306

Avg Deletions

-80

Avg Files Changed

37