BRM pin_virtual_time utility

Setting up the pin_virtual_time utility 1. Go to the BRM_home/sys/test directory. 2. Run this command to create a file that pin_virtual_time requires, called pin_virtual_time_file: pin_virtual_time -m 0 -f BRM_home/bin/pin_virtual_time_file Note BRM_home/lib/pin_virtual_time_file is the standard path and file name, but you can change it. 3. Add the following entry to the configuration file in the BRM_home/sys/test […]