esbmc/goto-transcoder

Stars

⭐ 4

PRs Reviewed

4

Bot Comments

26

Primary Language

C

Merge Rate

75.0%

Avg Time to Merge

4h

Avg Additions

+196

Avg Deletions

-151

Avg Files Changed

9