From 4a22215f85cc8fbe82817ef2676242a3d2055da2 Mon Sep 17 00:00:00 2001
From: Paul Bartell <pbartell@amazon.com>
Date: Tue, 14 Mar 2023 12:51:10 -0700
Subject: [PATCH] cmake: Remove add_subdirectory( cbmc ) call

CBMC proofs cannot currently be run using CMake.

fixes #753
---
 test/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

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()