Replaying Recording Files
If you've generated a recording of the Gurobi API calls made by your program, you may use the command-line tool to replay this recording.
Recordings are stored in files with
.grbr extensions. To replay
a recording from a file named
recording000.grbr issue the
gurobi_cl recording000.grbrYou should adjust the file name to match the recording you wish to replay.
You will know you have succeeded in replaying a recording, if you see lines similar to the following at the beginning of the command-line tool's output:
*Replay* Replay of file 'recording000.grbr' *Replay* Recording captured Tue Sep 13 19:28:48 2016 *Replay* Recording captured with Gurobi version 7.0.0 (linux64)For information about recording API calls and replaying them, see the Recording API Calls chapter.