commit 83a45bd9ee1effd1515dd41494303cf04cc67afe
author Mate Toth-Pal <mate.toth-pal@arm.com> Fri Sep 01 11:17:19 2023 +0200
committer Soby Mathew <soby.mathew@arm.com> Fri Nov 03 14:22:13 2023 +0000
tree e9c0bca595fc0ac5a0206e2dc6207f0c105471e4
parent ae6b3155b69230e777651026c754a51f02e90692

feat(cbmc): add initial support for CBMC

This commit adds initial, partial support for analysing RMM source code
with CBMC (https://www.cprover.org/cbmc/)

Signed-off-by: Shale Xiong <shale.xiong@arm.com>
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
Change-Id: I1c66838328782cb2db630769830809c5b0847a81

CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9e6e7ee..0ba8879 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -216,3 +216,4 @@
     -DBUILD_DIR=${CMAKE_BINARY_DIR}
     -P ${CMAKE_SOURCE_DIR}/tools/clang-tidy/clang-tidy.cmake
   )
+