diff options
| author | Hans Nilsson <[email protected]> | 2016-10-13 13:09:42 +0200 |
|---|---|---|
| committer | Hans Nilsson <[email protected]> | 2016-10-13 15:43:25 +0200 |
| commit | d53bd4936297f6310e59f88191014bb5dd0d8b2c (patch) | |
| tree | e9626c254f8f39787b0d4ce30cb4a11389209d37 /lib/ssh/test/ssh_property_test_SUITE.erl | |
| parent | a59807ef9a6a8af6eb6f13976eb405ddb9baad6c (diff) | |
| download | otp-d53bd4936297f6310e59f88191014bb5dd0d8b2c.tar.gz otp-d53bd4936297f6310e59f88191014bb5dd0d8b2c.tar.bz2 otp-d53bd4936297f6310e59f88191014bb5dd0d8b2c.zip | |
ssh: property test case for illegal infoline and close
This tests an illegal client that sends an info line and closes 'immediatly'.
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 + ). |