Lines Matching full:results
18 find_program(POLYSPACE_RESULTS_EXE NAMES polyspace-results-export REQUIRED)
75 # Create results directory
77 set(POLYSPACE_RESULTS_FILE ${POLYSPACE_RESULTS_DIR}/results.csv)
104 -results-dir ${POLYSPACE_RESULTS_DIR}
110 || ${CMAKE_COMMAND} -E true # allow to continue processing results
116 add_custom_target(polyspace-results ALL
118 -results-dir ${POLYSPACE_RESULTS_DIR}
121 || ${CMAKE_COMMAND} -E true # allow to continue processing results
127 add_dependencies(polyspace-results polyspace-analyze)
131 # summarize results #
134 add_custom_command(TARGET polyspace-results POST_BUILD
139 "SCA results are here: ${POLYSPACE_RESULTS_DIR}"