aboutsummaryrefslogtreecommitdiffstats
path: root/lib/ssl/test/ssl_eqc_SUITE.erl
diff options
context:
space:
mode:
authorIngela Anderton Andin <[email protected]>2019-05-02 11:22:39 +0200
committerIngela Anderton Andin <[email protected]>2019-05-07 09:29:21 +0200
commit28e4dd20a4e2829293b540113f7d80facc7bddc2 (patch)
tree9e27fb6dacd43a125b70bc2fa3af55aa30a4d978 /lib/ssl/test/ssl_eqc_SUITE.erl
parent627ce4fc5425688840a5db4f1085a923c6503571 (diff)
downloadotp-28e4dd20a4e2829293b540113f7d80facc7bddc2.tar.gz
otp-28e4dd20a4e2829293b540113f7d80facc7bddc2.tar.bz2
otp-28e4dd20a4e2829293b540113f7d80facc7bddc2.zip
ssl: Add cipher suite convertion functions
Diffstat (limited to 'lib/ssl/test/ssl_eqc_SUITE.erl')
-rw-r--r--lib/ssl/test/ssl_eqc_SUITE.erl14
1 files changed, 13 insertions, 1 deletions
diff --git a/lib/ssl/test/ssl_eqc_SUITE.erl b/lib/ssl/test/ssl_eqc_SUITE.erl
index bd36d35c02..bfdb1a3d54 100644
--- a/lib/ssl/test/ssl_eqc_SUITE.erl
+++ b/lib/ssl/test/ssl_eqc_SUITE.erl
@@ -27,7 +27,9 @@
all() ->
[
- tls_handshake_encoding
+ tls_handshake_encoding,
+ tls_cipher_suite_names,
+ tls_cipher_openssl_suite_names
].
%%--------------------------------------------------------------------
@@ -56,3 +58,13 @@ tls_handshake_encoding(Config) when is_list(Config) ->
%% manual test: proper:quickcheck(ssl_eqc_handshake:prop_tls_hs_encode_decode()).
true = ct_property_test:quickcheck(ssl_eqc_handshake:prop_tls_hs_encode_decode(),
Config).
+
+tls_cipher_suite_names(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_cipher_format:prop_tls_cipher_suite_rfc_name()).
+ true = ct_property_test:quickcheck(ssl_eqc_cipher_format:prop_tls_cipher_suite_rfc_name(),
+ Config).
+
+tls_cipher_openssl_suite_names(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_handshake:prop_tls_cipher_suite_openssl_name()).
+ true = ct_property_test:quickcheck(ssl_eqc_cipher_format:prop_tls_cipher_suite_openssl_name(),
+ Config).