add

AFLplusplus · Apr 13, 2024 · e20dc7d · e20dc7d
1 parent b7b07fa
commit e20dc7d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/runtime/rust_backend/RustRuntime.h b/runtime/rust_backend/RustRuntime.h
@@ -39,6 +39,7 @@ typedef uintptr_t RSymExpr;
  */
 RSymExpr _rsym_build_integer(uint64_t value, uint8_t bits);
 RSymExpr _rsym_build_integer128(uint64_t high, uint64_t low);
+RSymExpr _rsym_build_integer128(void* buffer, unsigned num_bits);
 RSymExpr _rsym_build_float(double value, bool is_double);
 RSymExpr _rsym_build_null_pointer(void);
 RSymExpr _rsym_build_true(void);