Reverse Debugging with ReplayEngine : Using ReplayEngine : Setting Preferences
Setting Preferences
Use the ReplayEngine tab in the Preferences dialog box to define how ReplayEngine handles recorded history.
Figure 4: Preferences Dialog Box> ReplayEngine Page
The Maximum history size option sets the size in megabytes for ReplayEngine’s history buffer. The default value, Unlimited, means ReplayEngine will use as much memory as is available to save recorded history. You can enter a new value into the text field or select from a drop-down list.
 
Figure 5: Preferences Dialog Box> ReplayEngine Page Drop-Down
You can also set these options using the CLI as follows:
CLI: dset TV::replay_history_size <value>
For example:
dset TV::replay_history_size 1024M
sets the maximum history size to 1024 megabytes.
dset TV::replay_history_size 1000000
sets the maximum history size to 1000000 bytes.
The second option on the ReplayEngine preference page defines the tool’s behavior when the history buffer is full. By default, the oldest history will be discarded so that recording can continue. You can change that so that the recording process will simply stop when the buffer is full.
You can also control this behavior using the CLI as follows:
CLI: dset TV::replay_history_mode <1,2>
For example:
dset TV::replay_history_mode 1
sets the mode to discard the oldest history and continue recording.
dset TV::replay_history_mode 2
sets the mode to stop the process when the buffer is full.