diff options
| author | Hans Nilsson <[email protected]> | 2018-10-24 10:12:38 +0200 |
|---|---|---|
| committer | Hans Nilsson <[email protected]> | 2018-10-29 10:43:36 +0100 |
| commit | 7a7e7fa91bcd47a1745c633e9e04a42f39c9b867 (patch) | |
| tree | 438f035c8fb026a0637e529006c885e7a2e09039 /lib/ssh/test/ssh_property_test_SUITE.erl | |
| parent | db0595fd0caa5d327b537a7a2857f155b98216dd (diff) | |
| download | otp-7a7e7fa91bcd47a1745c633e9e04a42f39c9b867.tar.gz otp-7a7e7fa91bcd47a1745c633e9e04a42f39c9b867.tar.bz2 otp-7a7e7fa91bcd47a1745c633e9e04a42f39c9b867.zip | |
ssh: Enable property_test/ssh_eqc_client_server for PropEr
PropEr does not support the grouped statem-tests. This commits
calls the grouped functions from the functions supported by PropEr.
Optimized with memoization.
Previously only EQC was supported, but the changes to support PROPER is not
just a wrapper. Since I don't have access to eqc I can't test the changes
and therefore eqc is disabeled.
However, with access to eqc it ought to be quite easy to re-enable eqc by
studying the diff.
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, 4 insertions, 3 deletions
diff --git a/lib/ssh/test/ssh_property_test_SUITE.erl b/lib/ssh/test/ssh_property_test_SUITE.erl index 3318b86d39..9aaac898a0 100644 --- a/lib/ssh/test/ssh_property_test_SUITE.erl +++ b/lib/ssh/test/ssh_property_test_SUITE.erl @@ -46,8 +46,9 @@ groups() -> [{messages, [], [decode, decode_encode]}, {client_server, [], [client_server_sequential, - client_server_parallel, - client_server_parallel_multi]} + client_server_parallel + %% client_server_parallel_multi + ]} ]. @@ -62,7 +63,7 @@ end_per_suite(Config) -> %%% if we run proper. init_per_group(client_server, Config) -> case proplists:get_value(property_test_tool,Config) of - eqc -> Config; + proper -> Config; X -> {skip, lists:concat([X," is not supported"])} end; init_per_group(_, Config) -> |