diff options
| -rw-r--r-- | lib/ssl/test/property_test/ssl_eqc_handshake.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/ssl/test/property_test/ssl_eqc_handshake.erl b/lib/ssl/test/property_test/ssl_eqc_handshake.erl index 0165c68a18..6ffb6d311f 100644 --- a/lib/ssl/test/property_test/ssl_eqc_handshake.erl +++ b/lib/ssl/test/property_test/ssl_eqc_handshake.erl @@ -716,7 +716,8 @@ key_share(server_hello) -> server_share = ServerShare}). key_share_entry_list() -> - ?LET(Size, choose(1,8), key_share_entry_list(Size)). + Max = length(ssl:groups()), + ?LET(Size, choose(1,Max), key_share_entry_list(Size)). %% key_share_entry_list(N) -> key_share_entry_list(N, ssl:groups(), []). @@ -746,7 +747,8 @@ generate_public_key(Group) -> PublicKey. groups() -> - ?LET(Size, choose(1,8), group_list(Size)). + Max = length(ssl:groups()), + ?LET(Size, choose(1,Max), group_list(Size)). group_list(N) -> group_list(N, ssl:groups(), []). |