chore: deprecate s2n_set

aws · Feb 28, 2025 · eec9cce · eec9cce
1 parent 5479708
commit eec9cce
Show file tree

Hide file tree

Showing 28 changed files with 0 additions and 1,020 deletions.
diff --git a/tests/cbmc/include/cbmc_proof/make_common_datastructures.h b/tests/cbmc/include/cbmc_proof/make_common_datastructures.h
@@ -32,7 +32,6 @@
 #include "utils/s2n_blob.h"
 #include "utils/s2n_map_internal.h"
 #include "utils/s2n_safety_macros.h"
-#include "utils/s2n_set.h"
 #include "utils/s2n_socket.h"
 
 /*
@@ -102,21 +101,6 @@ void cbmc_populate_s2n_array(struct s2n_array *array);
  */
 struct s2n_array *cbmc_allocate_s2n_array();
 
-/*
- * Checks whether s2n_set is bounded by max_len and max_element_size.
- */
-bool s2n_set_is_bounded(const struct s2n_set *set, const size_t max_len, const size_t max_element_size);
-
-/*
- * Populates the fields of a pre-allocated s2n_set for CBMC proofs.
- */
-void cbmc_populate_s2n_set(struct s2n_set *set);
-
-/*
- * Properly allocates s2n_set for CBMC proofs.
- */
-struct s2n_set *cbmc_allocate_s2n_set();
-
 /*
  * Populates the fields of a pre-allocated s2n_dh_params for CBMC proofs.
  */

diff --git a/tests/cbmc/proofs/s2n_set_add/Makefile b/tests/cbmc/proofs/s2n_set_add/Makefile
diff --git a/tests/cbmc/proofs/s2n_set_add/cbmc-proof.txt b/tests/cbmc/proofs/s2n_set_add/cbmc-proof.txt
diff --git a/tests/cbmc/proofs/s2n_set_add/s2n_set_add_harness.c b/tests/cbmc/proofs/s2n_set_add/s2n_set_add_harness.c
diff --git a/tests/cbmc/proofs/s2n_set_free/Makefile b/tests/cbmc/proofs/s2n_set_free/Makefile
diff --git a/tests/cbmc/proofs/s2n_set_free/cbmc-proof.txt b/tests/cbmc/proofs/s2n_set_free/cbmc-proof.txt
diff --git a/tests/cbmc/proofs/s2n_set_free/s2n_set_free_harness.c b/tests/cbmc/proofs/s2n_set_free/s2n_set_free_harness.c
diff --git a/tests/cbmc/proofs/s2n_set_free_p/Makefile b/tests/cbmc/proofs/s2n_set_free_p/Makefile
diff --git a/tests/cbmc/proofs/s2n_set_free_p/cbmc-proof.txt b/tests/cbmc/proofs/s2n_set_free_p/cbmc-proof.txt
diff --git a/tests/cbmc/proofs/s2n_set_free_p/s2n_set_free_p_harness.c b/tests/cbmc/proofs/s2n_set_free_p/s2n_set_free_p_harness.c
diff --git a/tests/cbmc/proofs/s2n_set_get/Makefile b/tests/cbmc/proofs/s2n_set_get/Makefile
diff --git a/tests/cbmc/proofs/s2n_set_get/cbmc-proof.txt b/tests/cbmc/proofs/s2n_set_get/cbmc-proof.txt