CHARON-VAX automatically creates individual log files for each CHARON-VAX execution session. If the log parameter is omitted, CHARON-VAX creates a log file for each CHARON-VAX execution session in the directory where the emulator was started. In these two cases, the log rotation mode is enabled, meaning a new log file is created each time the virtual machine is started and when the log file size exceeds the one specified (see log_file_size 695426309) and/or when the log file is older than a specified number of days (see log_rotation_period 695426309). A symbolic link located in the same directory will be created, pointing to the active log file. Its name is based on the hw_model parameter or the configuration_name parameter if specified. If the "configuration_name" parameter of the session is specified, the log file name is composed as follows: <configuration_name>-YYYY-MM-DD-hh-mm-ss-xxxxxxxxx.log
If the "configuration_name" parameter is omitted, the log file name will have the following format: <hw_model>-YYYY-MM-DD-hh-mm-ss-xxxxxxxxx.log
where "xxxxxxxxx " is an increasing decimal integer, starting from 000000000 to separate log files with the same time of creation (in case the log is being created faster than one log file per second). Only existing directory can be specified. If the directory specified does not exist, this will be considered as a flat file.
Example: set session configuration_name="vax4106 prod"
set session log="/charon/logs"
The execution of the virtual machine will create a log file, named /charon/logs/vax4106 prod-2016-10-13-10-00-00-000000000.log (for example) and a symbolic link named /charon/logs/vax4106 prod.log pointing to this file. The link will be updated when the log rotation will occur. Starting with version 4.11 build 204-11, log file numbering is implemented when log rotating is used: when starting the Charon emulator the first log file name will be like <configuration_name>-YYYY-MM-DD-hh-mm-ss-xxxxxxxxx.log where xxxxxxxxx will be 000000000, this number will increase with each log rotation to make it easier to find a log file set (1st log file at start + all its rotated files)n |