デバッグ手段を追加する

[shinnya]

以下に挙げるような何らかの手段が必要。

• ロギングを使えるようにする
• 内部状態を human readable にダンプする
• 送受信された RPC の履歴

これらに依存関係はなく、それぞれが独立に使えるようになっているとよい。

根本的に解決するには、実行時のデバッグ手段よりも性的な検証手段(形式証明など)を充実させた方が生産的だと思われる。