diff options
| author | Péter Dimitrov <[email protected]> | 2018-12-07 14:47:42 +0100 |
|---|---|---|
| committer | Péter Dimitrov <[email protected]> | 2019-01-11 09:59:12 +0100 |
| commit | 8d7c2c33b3cdc978ec32ad503242c352c0e46690 (patch) | |
| tree | a8aa93e31ec157fefd6f5351d6006d70ac98eecf /lib/ssl/test/property_test | |
| parent | 40a832093a95aac9bc171616b9f11adf108419c0 (diff) | |
| download | otp-8d7c2c33b3cdc978ec32ad503242c352c0e46690.tar.gz otp-8d7c2c33b3cdc978ec32ad503242c352c0e46690.tar.bz2 otp-8d7c2c33b3cdc978ec32ad503242c352c0e46690.zip | |
ssl: Create server 'Certificate' message
Create a TLS 1.3 'Certificate' message in the 'negotiated' state.
Change-Id: I03115de2353324f8533146ba19809064da6b0866
Diffstat (limited to 'lib/ssl/test/property_test')
| -rw-r--r-- | lib/ssl/test/property_test/ssl_eqc_handshake.erl | 7 |
1 files changed, 5 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 20a581328e..e4c4c89021 100644 --- a/lib/ssl/test/property_test/ssl_eqc_handshake.erl +++ b/lib/ssl/test/property_test/ssl_eqc_handshake.erl @@ -160,7 +160,7 @@ certificate_1_3() -> ?LET(Certs, certificate_chain(), #certificate_1_3{ certificate_request_context = certificate_request_context(), - entries = certificate_entries(Certs, []) + certificate_list = certificate_entries(Certs, []) }). finished() -> @@ -545,7 +545,10 @@ choose_certificate_chain(#{server_config := ServerConf, oneof([certificate_chain(ServerConf), certificate_chain(ClientConf)]). certificate_request_context() -> - <<>>. + oneof([<<>>, + <<1>>, + <<"foobar">> + ]). certificate_entries([], Acc) -> lists:reverse(Acc); certificate_entries([Cert | Rest], Acc) -> |