chore: remove old handle_table implementation

seahorn · Jul 28, 2022 · 53dbf7c · 53dbf7c
1 parent 04ccba8
commit 53dbf7c
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 205 deletions.
diff --git a/seahorn/trusty_common/CMakeLists.txt b/seahorn/trusty_common/CMakeLists.txt
@@ -1,4 +1,3 @@
 
 configure_file(include/config.h.in ${PROJECT_BINARY_DIR}/include/config.h)
-add_subdirectory(lib)
 add_subdirectory(stubs)
diff --git a/seahorn/trusty_common/lib/CMakeLists.txt b/seahorn/trusty_common/lib/CMakeLists.txt
diff --git a/seahorn/trusty_common/lib/bcmp.c b/seahorn/trusty_common/lib/bcmp.c
diff --git a/seahorn/trusty_common/lib/handle_table.c b/seahorn/trusty_common/lib/handle_table.c
diff --git a/seahorn/trusty_common/lib/handle_table_ptr.c b/seahorn/trusty_common/lib/handle_table_ptr.c
diff --git a/seahorn/trusty_common/lib/nondet.c b/seahorn/trusty_common/lib/nondet.c