Add support for branch coverage#1375

jonathanmetzman merged 15 commits into

google:mastergoogle/fuzzbench:masterfrom

Practical-Formal-Methods:masterPractical-Formal-Methods/fuzzbench-public:masterCopy head branch name to clipboard