平成28年春期 午前問49についての質問です。
命令網羅は「すべての命令を少なくとも１回は実行する。」なので、
テストケースの数は(a=0,b=0)の１つでいいのではないでしょうか？

解説にあるテストケースの(a=0,b=0)と(a=1,b=1)の２つだと
真と偽のどちらも実行しているので判定条件網羅になると思うのですが、
以上の点につきましてご教示頂ければ幸いです。

条件分岐の先に命令がなければそれでいいのですが、今回の場合だとすべての分岐先に命令が存在するので、命令網羅の場合でもそれらすべてを通らないといけません。(□の部分が命令です。)

同じ疑問を抱いていたので、大変勉強になりました。
ありがとうございました。