重放录音文件
重放录音文件
如果你生成了记录当你的程序调用Gurobi API时,你可以使用命令行工具重放这段录音。
录音存储在文件中.grbr
扩展。重放一个名为recording000.grbr
发出以下命令:
gurobi_cl recording000.grbr您应该调整文件名以匹配您希望重播的录音。
如果你在命令行工具的输出开头看到类似如下的行,你就会知道你已经成功地重放了一个录音:
*重放文件'recording000.grbr'
*重放*录音捕获星期二9月13日19:28:48 2018
*重放*记录与Gurobi版本8.0.0 (linux64)
有关记录API调用和重放它们的信息,请参阅记录API调用一章。