15 lines
511 B
Tcl
15 lines
511 B
Tcl
#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
|