Pipeline と PathFinder
MenuMercural ssh:/net/home/hg/teacher/kono/os/ex/WorkerModel1
のTestPipeLineを実行してみて、Pipeline 実行の様子を調べよ。
まず、きちんと停止することを確認する assert を考える。
停止しないプログラムを作成して、assert が失敗することを確認せよ。
停止するプログラムを作成して、assert が成功することを確認せよ。
これは、プログラムがちゃんと動くことの保証になっているか?