あるわけで、こららは必ずどちらかが前でどちらかが後になる。これが仕様に含まれてない実行はニセモノ...「虚実行」というべきものになる。任意)を含んでいないと「虚実行」になる。テストに合格したものは「実実行」においてもテストに合格すると言えるが、余計なものまで(大量に)チェックしていることは否めない。「虚実行」か「実実行」かを判定するプログラムを書こうかと思ったが難しい。ロック仕様から完全に別物にしたほうが早いだろう。「虚実行」を含めたテスト...という考え方がもしかすると有用かもしれないので、このエントリはこのまま残すことにしたが、注意されたい。他サイトなどからこの記事に自薦された関連記事(トラックバック)の一覧です。Tipsその1で、このフレームワークにおいて「入力待ち...は...特殊な枝刈りの仕方」ではないかというアイデアを書いた。本稿では、それを実装してみる。変更するのを待てば良い。仕様の木の深さを無限に大きくすることになる。(高階論理で使われる)ラムダ式の関係みたいなのが私には見えはじめてる。機構において、そのロックの依存を総当たり的に調べるプログラムを書いた。その1で「虚実行」も数え上げていたのを修正し、「実実行」のみを対象とするようにした。