検証可能コードをビルドするプロジェクトプロパティの設定

ソリューションエクスプローラーで、プロジェクトの [Properties] エントリをダブルクリックします。
[COBOL] タブで、[Additional Directives] フィールドの下にある [Advanced] をクリックします。
[Verifiable code] をオンにして、[OK] をクリックします。