ふと思ったけど、ユニットテストのカバー範囲って、契約プログラミングと形式検証で全部カバーできるんだろうか？＞＜