>>711
いやするだろ
プログラム的に実装によって現象が変わる事はよくあること
例えばソート結果の安定性とかね
それを明確にこの場合はこういう結果になるという仕様を定めて行ったら
ほぼ無限の状態と入力とその結果を考えなければならない
仕様書はたやすく組み合わせ爆発する