From feb095f9e46e67a2e119c673220c519542a190c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C3=A9ter=20Dimitrov?= Date: Mon, 19 Nov 2018 11:14:42 +0100 Subject: ssl: Fix property tests Replace hardcoded max size in 'choose' function with the length of supported groups. Change-Id: I4ac595cfee2c3cf0c9d9e1cffd0988940130a0d6 --- lib/ssl/test/property_test/ssl_eqc_handshake.erl | 6 ++++-- 1 file 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(), []). -- cgit v1.2.3