Add goto-harness dependency and unify format

Author: yumibagge

CMakeLists.txt

@@ -88,7 +88,10 @@ if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" OR
             COMMAND ${CODE_COVERAGE_LCOV} ${LCOV_FLAGS} --remove ${CODE_COVERAGE_INFO_FILE} '/usr/*' --output-file ${CODE_COVERAGE_INFO_FILE}
             COMMAND ${CODE_COVERAGE_GENHTML} ${CODE_COVERAGE_INFO_FILE} --output-directory ${CODE_COVERAGE_OUTPUT_DIR}
             DEPENDS
-              java-models-library java-unit unit
+              java-models-library
+              "$<TARGET_FILE:java-unit>"
+              "$<TARGET_FILE:unit>"
+              "$<TARGET_FILE:goto-harness>"
               "$<TARGET_FILE:cbmc>"
               "$<TARGET_FILE:driver>"
               "$<TARGET_FILE:goto-analyzer>"