2. 「config_init.mc を編集」(Edit config_init.mc)をクリックします。「ModelCHECK コンフィギュレーションツール」(ModelCHECK Configuration Tool) ダイアログボックスの右枠に、ファイル config_init.mc 内のすべてのコンフィギュレーションオプションとその値が表示されます。コンフィギュレーションオプションは制御する機能に基づいていくつかのセクションに分かれています。

3. コンフィギュレーションオプションを config_init.mc ファイルに追加するには、そのオプションの左側にあるチェックボックスをオンにします。そのオプションがデフォルト値で追加されます。

4. 使用可能な値を表示するには、オプションの右側にあるリストフィールドをクリックします。適切な値を選択します。ディレクトリパスには、フォルダへのパスを指定します。

5. 変更内容を保存するには「適用」(Apply) をクリックします。「OK」をクリックすると変更内容が保存され、「ModelCHECK コンフィギュレーションツール」(ModelCHECK Configuration Tool) が閉じます。