Test data for new coverage input format
Merge branch 'master' of github.com:BinPro/ProBin