Fix spelling, broken link

README.md

@@ -115,9 +115,6 @@ doxygen docs/doxygen/config.doxyfile
 
 ### Steps to build Unit Tests
 
-1. Go to the root directory of this repository. (Make sure that the **Unity**
-   submodule is cloned as described [above](#checkout-unity-submodule).)
-
 1. Create build directory: `mkdir build && cd build`
 
 1. Run _cmake_ while inside build directory: `cmake -S ../test`

source/otaJobParser/job_parser.c

@@ -110,7 +110,7 @@ static JSONStatus_t searchUintValue( const char * jobDoc,
  * @param string String representation of 32-bit unsigned integer
  * @param length Length of the integer when represented as a string
  * @param value Unsigned 32-bit integer representation of the value
- * @return true Sucessfully converted to uint32
+ * @return true Successfully converted to uint32
  * @return false Unsuccessfully converted to uint32
  */
 static bool uintFromString( const char * string,

test/CMakeLists.txt

@@ -118,5 +118,5 @@ add_custom_target(
   coverage
   COMMAND ${CMAKE_COMMAND} -DCMOCK_DIR=${cmock_SOURCE_DIR} -P
           ${MODULE_ROOT_DIR}/tools/cmock/coverage.cmake
-  DEPENDS cmock unity ota_job_handler_utest job_parser_utest
+  DEPENDS cmock unity jobs_utest ota_job_handler_utest job_parser_utest
   WORKING_DIRECTORY ${CMAKE_BINARY_DIR})

test/cbmc/run_proofs.sh

@@ -18,7 +18,7 @@ exec cbmc proofs.c $JobsSourceDir/jobs.c  stubs/strnlen.c \
      -I $OTAJobParserSourceDir/include -I include  \
      --unwindset strnAppend.0:26 --unwindset strnEq.0:26 \
      --unwindset matchIdApi.0:84 --unwindset isValidID.0:65 \
-     --unwindset strlen.0:51 --unwindset __builtin___strncpy_chk.0:16 \
+     --unwindset strlen.0:51 --unwindset strncpy.0:16 \
      --bounds-check --pointer-check --memory-cleanup-check --div-by-zero-check \
      --signed-overflow-check --unsigned-overflow-check --pointer-overflow-check \
      --conversion-check --undefined-shift-check --enum-range-check \