SPRUI04F july 2015 – april 2023
The information collected during feedback directed optimization can be used for generating code coverage reports. As with feedback directed optimization, the program must be compiled with the --gen_profile_info option. Code coverage conveys the execution count of each line of source code in the file being compiled, using data collected during profiling.