diff options
author | Ingela Anderton Andin <[email protected]> | 2018-09-07 09:52:59 +0200 |
---|---|---|
committer | Ingela Anderton Andin <[email protected]> | 2018-09-07 09:52:59 +0200 |
commit | 8017f8298db96f05ececb1790f926afc003c565d (patch) | |
tree | 2b11029180ddb67c7f2fca84bddfb2a1fb165ce8 /lib/ssl/test/ssl_eqc_SUITE.erl | |
parent | 2917410f3e2baa7fdd9c276c91040b42e6d08ec1 (diff) | |
parent | 5960e81bc4e19d54a3b082840301665ad0e1cd09 (diff) | |
download | otp-8017f8298db96f05ececb1790f926afc003c565d.tar.gz otp-8017f8298db96f05ececb1790f926afc003c565d.tar.bz2 otp-8017f8298db96f05ececb1790f926afc003c565d.zip |
Merge branch 'ingela/ssl/property-tests'
* ingela/ssl/property-tests:
ssl: Correct compression decoding
ssl: Add property tests framework
ssl: Fix typo
Diffstat (limited to 'lib/ssl/test/ssl_eqc_SUITE.erl')
-rw-r--r-- | lib/ssl/test/ssl_eqc_SUITE.erl | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/lib/ssl/test/ssl_eqc_SUITE.erl b/lib/ssl/test/ssl_eqc_SUITE.erl new file mode 100644 index 0000000000..bd36d35c02 --- /dev/null +++ b/lib/ssl/test/ssl_eqc_SUITE.erl @@ -0,0 +1,58 @@ +%% +%% %CopyrightBegin% +%% +%% Copyright Ericsson AB 2015-2015. All Rights Reserved. +%% +%% The contents of this file are subject to the Erlang Public License, +%% Version 1.1, (the "License"); you may not use this file except in +%% compliance with the License. You should have received a copy of the +%% Erlang Public License along with this software. If not, it can be +%% retrieved online at http://www.erlang.org/. +%% +%% Software distributed under the License is distributed on an "AS IS" +%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See +%% the License for the specific language governing rights and limitations +%% under the License. +%% +%% %CopyrightEnd% +%% +%% + +-module(ssl_eqc_SUITE). + +-compile(export_all). +%%-------------------------------------------------------------------- +%% Common Test interface functions ----------------------------------- +%%-------------------------------------------------------------------- + +all() -> + [ + tls_handshake_encoding + ]. + +%%-------------------------------------------------------------------- +init_per_suite(Config) -> + ct_property_test:init_per_suite(Config). +end_per_suite(Config) -> + Config. + +init_per_group(_GroupName, Config) -> + Config. + +end_per_group(_,Config) -> + Config. + +init_per_testcase(_, Config0) -> + Config0. + +end_per_testcase(_TestCase, Config) -> + Config. + +%%-------------------------------------------------------------------- +%% Test Cases -------------------------------------------------------- +%%-------------------------------------------------------------------- + +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). |