cmake: Remove add_subdirectory( cbmc ) call

CBMC proofs cannot currently be run using CMake. fixes #753
FreeRTOS · Mar 15, 2023 · 4a22215 · 4a22215
1 parent 94655eb
commit 4a22215
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
@@ -1,7 +1,6 @@
 add_subdirectory(build-combination)
 
 if(FREERTOS_PLUS_TCP_BUILD_TEST)
-  add_subdirectory(cbmc)
   add_subdirectory(Coverity)
   add_subdirectory(unit-test)
 endif()