chore: remove unused handle_table logic

seahorn · Aug 24, 2022 · 1179915 · 1179915
1 parent a1d4154
commit 1179915
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 199 deletions.
diff --git a/seahorn/trusty_common/include/handle_table.h b/seahorn/trusty_common/include/handle_table.h
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/nondet.c b/seahorn/trusty_common/lib/nondet.c