diff options
author | Hans Nilsson <[email protected]> | 2016-10-14 10:14:08 +0200 |
---|---|---|
committer | Hans Nilsson <[email protected]> | 2016-10-14 10:14:08 +0200 |
commit | df8c6690a86d087d8de324276b2266bc5918c779 (patch) | |
tree | 9f4212bfb907d69ad0aae9969ee02d12562ea4fb /lib/ssh/test/ssh_property_test_SUITE.erl | |
parent | 28d84f10b99906d44d4bb842f17ecc4472cb3d92 (diff) | |
parent | c1c2149818396bdefe9eff995184f8864f18fca3 (diff) | |
download | otp-df8c6690a86d087d8de324276b2266bc5918c779.tar.gz otp-df8c6690a86d087d8de324276b2266bc5918c779.tar.bz2 otp-df8c6690a86d087d8de324276b2266bc5918c779.zip |
Merge branch 'maint-19' into maint
Diffstat (limited to 'lib/ssh/test/ssh_property_test_SUITE.erl')
-rw-r--r-- | lib/ssh/test/ssh_property_test_SUITE.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/ssh/test/ssh_property_test_SUITE.erl b/lib/ssh/test/ssh_property_test_SUITE.erl index c8aabcedb7..7ba2732a88 100644 --- a/lib/ssh/test/ssh_property_test_SUITE.erl +++ b/lib/ssh/test/ssh_property_test_SUITE.erl @@ -38,6 +38,7 @@ -include_lib("common_test/include/ct.hrl"). all() -> [{group, messages}, + client_sends_info_timing, {group, client_server} ]. @@ -106,3 +107,9 @@ client_server_parallel_multi(Config) -> ssh_eqc_client_server:prop_parallel_multi(Config), Config ). + +client_sends_info_timing(Config) -> + ct_property_test:quickcheck( + ssh_eqc_client_info_timing:prop_seq(Config), + Config + ). |