Does Riviera-PRO create core dump file?

ANSWER

Yes. The core dump file generation depends on your system settings. To make sure that it is generated please add the following command to Riviera/etc/setenv file:

ulimit -c unlimited

This is a bash shell command. It sets the maximum size for the core dump file. By default it may be set to 0. This is why you may not get a core dump file if you modify this value. When you add this command to setenv script it will be executed every time Riviera-PRO is started. This will assure generation of core dump file in case of abnormal termination of the simulator.