はい。コアダンプファイル生成は、システムの設定によって異なります。それが発生したことを確認するためには、Riviera/etc/setenvファイルに次のコマンドを追加してください。:
ulimit -c unlimited
これはbashシェルコマンドになります。ここではコアダンプファイルの最大サイズを設定します。デフォルトは、0を設定しても問題ありません。この値を変更する場合、コアダンプファイルを取得できない場合があります。setenv スクリプトにこのコマンドを追加すると、Riviera-PROを起動するたびに実行されます。これはシミュレータが異常終了した場合、コアダンプ生成を保証します。