fix unit tests

runtimeverification · Sep 12, 2024 · 60a10ee · 60a10ee
1 parent ca77336
commit 60a10ee
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 0 deletions.
diff --git a/unittests/runtime-collections/lists.cpp b/unittests/runtime-collections/lists.cpp
@@ -64,6 +64,9 @@ block *DUMMY1 = &D1;
 }
 
 bool gc_enabled;
+size_t get_gc_threshold() {
+  return SIZE_MAX;
+}
 
 BOOST_AUTO_TEST_SUITE(ListTest)
 

diff --git a/unittests/runtime-ffi/ffi.cpp b/unittests/runtime-ffi/ffi.cpp
@@ -82,6 +82,10 @@ bool during_gc() {
   return false;
 }
 
+size_t get_gc_threshold() {
+  return SIZE_MAX;
+}
+
 void print_configuration_internal(
     writer *file, block *subject, char const *sort, bool, void *) { }
 void sfprintf(writer *, char const *, ...) { }

diff --git a/unittests/runtime-io/io.cpp b/unittests/runtime-io/io.cpp
@@ -60,6 +60,10 @@ bool during_gc() {
 
 void add_hash64(void *, uint64_t) { }
 
+size_t get_gc_threshold() {
+  return SIZE_MAX;
+}
+
 void flush_io_logs();
 string *make_string(const KCHAR *, int64_t len = -1);
 blockheader header_err();

diff --git a/unittests/runtime-strings/stringtest.cpp b/unittests/runtime-strings/stringtest.cpp
@@ -68,6 +68,10 @@ floating *move_float(floating *i) {
 
 void add_hash64(void *, uint64_t) { }
 
+size_t get_gc_threshold() {
+  return SIZE_MAX;
+}
+
 struct blockheader get_block_header_for_symbol(uint32_t tag) {
   return blockheader{tag};
 }