From a989b0509553069b2b46fcedb9273cbae3ef147e Mon Sep 17 00:00:00 2001 From: Julien Coolen Date: Thu, 2 Mar 2023 09:38:19 +0100 Subject: [PATCH] Cryptobox DAL: page size cannot be greater than slot size --- src/lib_crypto_dal/test/test_dal_cryptobox.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/lib_crypto_dal/test/test_dal_cryptobox.ml b/src/lib_crypto_dal/test/test_dal_cryptobox.ml index 0e9291c39b38..c21bb33138c0 100644 --- a/src/lib_crypto_dal/test/test_dal_cryptobox.ml +++ b/src/lib_crypto_dal/test/test_dal_cryptobox.ml @@ -13,7 +13,9 @@ module Test = struct let max_slot_size_log2 = 11 - let max_page_size_log2 = 15 + let size_offset_log2 = 3 + + let max_page_size_log2 = max_slot_size_log2 - size_offset_log2 let max_redundancy_factor_log2 = 4 @@ -55,8 +57,8 @@ module Test = struct let generate_parameters = let open QCheck2.Gen in let* redundancy_factor_log2 = int_range 1 max_redundancy_factor_log2 in - let* slot_size_log2 = int_range 0 max_slot_size_log2 in - let* page_size_log2 = int_range 0 max_page_size_log2 in + let* slot_size_log2 = int_range size_offset_log2 max_slot_size_log2 in + let* page_size_log2 = int_range 0 (slot_size_log2 - size_offset_log2) in let* number_of_shards_log2 = int_range 0 max_number_of_shards_log2 in let slot_size = 1 lsl slot_size_log2 in let* msg = bytes_size (int_range 0 slot_size) in -- GitLab