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/ebin | |
| 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/ebin')
0 files changed, 0 insertions, 0 deletions