>>13
> そりゃ、ちゃんと動くか、もしくはちゃんと止まるか、がテストじゃん。

それはある条件のときに「ちゃんと止まる」という動きをしたってことでしょ？
それは「ちゃんと動く」の中に含まれてるんだよｗ