1execute_process(
2    COMMAND
3        cbmc --cover location --xml-ui
4        ${cbmc_flags} ${cbmc_verbosity} ${goto_binary}
5    OUTPUT_FILE ${out_file}
6    ERROR_FILE ${out_file}
7    RESULT_VARIABLE res
8)
9
10if(NOT (${res} EQUAL 0 OR ${res} EQUAL 10))
11    message(FATAL_ERROR
12        "Unexpected CBMC coverage return code '${res}' for proof ${proof_name}. Log written to ${out_file}."
13    )
14endif()
15