mitre-public/boogie

Stars

⭐ 9

PRs Reviewed

2

Bot Comments

4

Primary Language

Java

Merge Rate

50.0%

Avg Time to Merge

14h

Avg Additions

+162

Avg Deletions

-46

Avg Files Changed

8