diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index 97d445910..fb71ba346 100644
--- 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()