肝心なことを書き忘れてた

で、C0とかC1とかっていうカバレッジというのは何なのかというと、テストの止めどき基準だと思うわけですよ。テストを100％するのは不可能だし、時間もコストも無限にはかけられないので、「ここまではやっと来ましょうよ」という基準として、命令網羅とか分岐網羅なんてのが使えるんだと思います。