Fix README.md. Change folder organization.

Author: rubidijum

README.md

@@ -3,8 +3,10 @@
 This repository "Software Verification" course at the Faculty of Mathematics in Belgrade.
 
 Techniques and tools used:
-- Unit testing via [twister]() tool
-- 
+- Unit testing via [twister](https://docs.zephyrproject.org/3.1.0/develop/test/twister.html) tool
+- Valgrind memcheck
+- Static analysis
+- Adress sanitizer
 
 Repo organization:
 
@@ -21,35 +23,43 @@ Repo organization:
 
 Zephyr-project's west tool is used for updating the zephyr repository, building, flashing zephyr apps etc. It can be installed using following commands:
 
-```pip3 install --user -U west
+```
+   pip3 install --user -U west
    echo 'export PATH=~/.local/bin:"$PATH"' >> ~/.bashrc
    source ~/.bashrc
 ```
 
 #### Install additional requirements
 
-`cd zephyr`
-`pip3 install --user -r scripts/requirements.txt`
+```
+cd zephyr
+pip3 install --user -r scripts/requirements.txt
+```
 
 ### Install the zephyr SDK
 
 In order to use all of the required tools for testing and building zephyr applications, SDK is needed. It can be downloaded using following commands:
 
 #### Set up the environment for SDK installation
 
-`export ZEPHYR_TOOLCHAIN_VARIANT=zephyr`
-`export ZEPHYR_SDK_INSTALL_DIR=/opt/zephyr-sdk`
-`. ./zephyr-env.sh`
+```
+export ZEPHYR_TOOLCHAIN_VARIANT=zephyr
+export ZEPHYR_SDK_INSTALL_DIR=/opt/zephyr-sdk
+. ./zephyr-env.sh
+```
 
 #### Download and install the SDK
 
-`cd ~`
-`wget https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v0.16.0/zephyr-sdk-0.16.0_linux-x86_64.tar.xz`
-`wget -O - https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v0.16.0/sha256.sum | shasum --check --ignore-missing`
+```
+cd ~
+wget https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v0.16.0/zephyr-sdk-0.16.0_linux-x86_64.tar.xz
+wget -O - https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v0.16.0/sha256.sum | shasum --check --ignore-missing
+```
 
 Extract and install the SDK:
 
-`tar xvf zephyr-sdk-0.16.0_linux-x86_64.tar.xz`
-
-`cd zephyr-sdk-0.16.0`
-`./setup.sh`
+```
+tar xvf zephyr-sdk-0.16.0_linux-x86_64.tar.xz
+cd zephyr-sdk-0.16.0
+./setup.sh
+```

twister_reports/README.md

@@ -33,7 +33,9 @@ ZTEST(math_extras_portable, test_portable_u32_add) {
 
 Twister command for running the tests:
 
-`west twister --coverage -p unit_testing -T tests/unit/math_extras/ -v --report-dir ~/2023_Analysis_zephyr/twister_reports/test_coverage/unit_run_math_extras --outdir ~/2023_Analysis_zephyr/twister_reports/test_coverage/math_extras/unit_run_math_extras`
+```
+west twister --coverage -p unit_testing -T tests/unit/math_extras/ -v --report-dir ~/2023_Analysis_zephyr/twister_reports/test_coverage/unit_run_math_extras --outdir ~/2023_Analysis_zephyr/twister_reports/test_coverage/math_extras/unit_run_math_extras
+```
 
 *NOTE*: As mentioned, `CMakeLists.txt` was modified between two runs. This was done to test math_extras functions with and without builtin support. 
 
@@ -84,7 +86,7 @@ means that Twister will call `math_extras.test_u32_add` test case during executi
 
 lcov is a tool that creates graphical representation of the code coverage in .html format. Reports for math_extras functions are given below:
 
-![code coverage report](./test_coverage/mat_extras/lcov_math_extras_report.png "lcov report").
+![code coverage report](./test_coverage/math_extras/lcov_math_extras_report.png "lcov report").
 
 
 As the reports show, there is a 100% coverage of the `math_extras` functions both with builtin functions and with portable implementation.