#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE
#ATTTION : DO NOT MODIFY THE WHOLE FILE


coverage save ${COVERAGE_OUTPUT_DIR}/${CASE_NAME}.ucdb