New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

デバッグ手段を追加する #31

Open

shinnya opened this issue May 29, 2019 · 0 comments

Contributor

shinnya commented May 29, 2019 •

edited

Loading

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

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

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

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment