前回Pexでのテストコード生成を紹介しました。 今回は、Pexでどんなテストケースが生成されるかを見ていきます。まず、複数の条件がORで判定されるケースです。例えば、if (a>5 || b>5 || c>5)のような条件に対してブランチカバレッジを満たすケースを考える…