aboutsummaryrefslogtreecommitdiffstats
path: root/lib/ssl/test/property_test
diff options
context:
space:
mode:
authorPéter Dimitrov <[email protected]>2018-11-30 13:35:20 +0100
committerPéter Dimitrov <[email protected]>2019-01-11 09:59:12 +0100
commit88733e3e2e9b7e15fac74a42e813da4f19f86482 (patch)
tree5fc1ccf069bb05433d9858ec05d18e157429a34f /lib/ssl/test/property_test
parentc823b266f08c0a87218af9a64debac63328ef46f (diff)
downloadotp-88733e3e2e9b7e15fac74a42e813da4f19f86482.tar.gz
otp-88733e3e2e9b7e15fac74a42e813da4f19f86482.tar.bz2
otp-88733e3e2e9b7e15fac74a42e813da4f19f86482.zip
ssl: Process "supported_versions" before decoding
Change-Id: I465760b7001692367c68839219745e40abafdfa8
Diffstat (limited to 'lib/ssl/test/property_test')
-rw-r--r--lib/ssl/test/property_test/ssl_eqc_handshake.erl8
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/ssl/test/property_test/ssl_eqc_handshake.erl b/lib/ssl/test/property_test/ssl_eqc_handshake.erl
index 6ffb6d311f..20a581328e 100644
--- a/lib/ssl/test/property_test/ssl_eqc_handshake.erl
+++ b/lib/ssl/test/property_test/ssl_eqc_handshake.erl
@@ -326,7 +326,7 @@ extensions(?'TLS_v1.3' = Version, client_hello) ->
%% oneof([psk_key_exchange_modes(), undefined]),
%% oneof([early_data(), undefined]),
%% oneof([cookie(), undefined]),
- oneof([client_hello_versions(Version), undefined]),
+ oneof([client_hello_versions(Version)]),
%% oneof([cert_authorities(), undefined]),
%% oneof([post_handshake_auth(), undefined]),
oneof([signature_algs_cert(), undefined])
@@ -403,7 +403,7 @@ extensions(?'TLS_v1.3' = Version, server_hello) ->
{
oneof([key_share(server_hello), undefined]),
%% oneof([pre_shared_keys(), undefined]),
- oneof([server_hello_selected_version(), undefined])
+ oneof([server_hello_selected_version()])
},
maps:filter(fun(_, undefined) ->
false;
@@ -514,7 +514,9 @@ sig_scheme_list() ->
client_hello_versions(?'TLS_v1.3') ->
?LET(SupportedVersions,
oneof([[{3,4}],
- [{3,3},{3,4}],
+ %% This list breaks the property but can be used for negative tests
+ %% [{3,3},{3,4}],
+ [{3,4},{3,3}],
[{3,4},{3,3},{3,2},{3,1},{3,0}]
]),
#client_hello_versions{versions = SupportedVersions});