Update README.md

README.md

@@ -5,15 +5,15 @@ A C instrumentation library
 
 ## Ubuntu
 
-Install dependencies: `sudo apt-get install clang llvm clang-tidy  git linux-libc-dev libclang-dev libclang-cpp-dev cmake build-essential`
-Configure: `mkdir build && cd build && cmake .. -DBUILD_TESTING=1 -DClang_DIR=/usr/lib/cmake/clang-14 -DLLVM_DIR=/usr/lib/llvm-14/lib/cmake/llvm`
-Build: `make -j4`
+- Install dependencies: `sudo apt-get install clang llvm clang-tidy  git linux-libc-dev libclang-dev libclang-cpp-dev cmake build-essential`
+- Configure: `mkdir build && cd build && cmake .. -DBUILD_TESTING=1 -DClang_DIR=/usr/lib/cmake/clang-14 -DLLVM_DIR=/usr/lib/llvm-14/lib/cmake/llvm`
+- Build: `make -j4`
 
 ## macOS
 
-Install dependencies: `brew install llvm@16`
-Configure: `mkdir build && cd build && cmake .. -DBUILD_TESTING=1 -DLLVM_DIR=/opt/homebrew/opt/llvm@14 -DClang_DIR=/opt/homebrew/opt/llvm@14`
-Build: `make -j4`
+- Install dependencies: `brew install llvm@16`
+- Configure: `mkdir build && cd build && cmake .. -DBUILD_TESTING=1 -DLLVM_DIR=/opt/homebrew/opt/llvm@14 -DClang_DIR=/opt/homebrew/opt/llvm@14`
+- Build: `make -j4`
 
 # Project Structure
 
@@ -33,7 +33,7 @@ I want to keep the dependencies at a minimum. So far, the required dependencies
 
 Please, avoid adding dependencies. The idea is for this to be used as a library.
 
-# GoalInjector
+# Goal Injector
 
 The objective of this instrumentation is to extend and reimplement some ideas from
 [FuSeBMC](https://github.com/kaled-alshmrany/FuSeBMC) in a way that is