↑は境界チェックがメインですが、型の数が 4x4 で膨大なのでそれでもパターンが多すぎてとても手で書けません。

8:36 AM

満たしてほしい性質を記述することはできるから、それを書いて組み合わせ分を生成しています。

8:36 AM

逆に手で書こうとすると絶対にどこかミスってテストがバグると思います。

8:36 AM

もちろん生成コードがバグってる可能性はあるので

8:37 AM

吐き出されたコードを眺めて自分の思い描いていた条件を再現できているかはチェックが必要です。

8:40 AM

もし 2<..5 とか 2<..<5 とかも追加されたら地獄だ・・・。