aboutsummaryrefslogtreecommitdiffstats
path: root/lib/ssh/test/ssh_property_test_SUITE.erl
diff options
context:
space:
mode:
authorHans Nilsson <[email protected]>2016-10-14 10:14:08 +0200
committerHans Nilsson <[email protected]>2016-10-14 10:14:08 +0200
commitdf8c6690a86d087d8de324276b2266bc5918c779 (patch)
tree9f4212bfb907d69ad0aae9969ee02d12562ea4fb /lib/ssh/test/ssh_property_test_SUITE.erl
parent28d84f10b99906d44d4bb842f17ecc4472cb3d92 (diff)
parentc1c2149818396bdefe9eff995184f8864f18fca3 (diff)
downloadotp-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.erl7
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
+ ).