otp.git/lib/ssh/test/property_test, branch master Mirror of Erlang/OTP repository. ssh: Enable property_test/ssh_eqc_client_server for PropEr 2018-10-29T09:43:36+00:00 Hans Nilsson hans@erlang.org 2018-10-24T08:12:38+00:00 7a7e7fa91bcd47a1745c633e9e04a42f39c9b867 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. 
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.
ssh: Used fixed localhost address 2018-10-29T09:41:34+00:00 Hans Nilsson hans@erlang.org 2018-10-26T08:27:05+00:00 db0595fd0caa5d327b537a7a2857f155b98216dd Problem on Darwin, Solaris and FreeBSD with local addresses in 127.1.0.0/8 
Problem on Darwin, Solaris and FreeBSD with local addresses in 127.1.0.0/8
ssh: Fix reporting functions in property_test/ssh_eqc_client_server.erl 2018-10-29T09:41:33+00:00 Hans Nilsson hans@erlang.org 2018-10-25T15:13:46+00:00 60ecb51ec89100d24fc1d6bdb8d1a87069837626 






ssh: Fix property_test/ssh_eqc_client_info_timing.erl
2018-10-29T09:41:33+00:00

Hans Nilsson
hans@erlang.org

2018-10-23T14:06:19+00:00

cc462bb16fa2c004d4ffcaa5e7a2b9238f73b56d

Had problems on Darwin, Solaris and FreeBSD.





Had problems on Darwin, Solaris and FreeBSD.







Update copyright year
2018-06-18T12:51:18+00:00

Henrik Nord
henrik@erlang.org

2018-06-18T12:51:18+00:00

5ca92e2eac1e84fd22f60e7abc3aa2b0ff1cb42b












ssh: ssh_daemon_channel replaced by ssh_server_channel
2018-04-27T08:30:25+00:00

Hans Nilsson
hans@erlang.org

2018-04-26T09:50:11+00:00

d2f4de0a8e36e6a25cfd7446ea6fc3623b7f1495












ssh: Fix testcase failures caused by better key checks
2017-10-30T13:01:54+00:00

Hans Nilsson
hans@erlang.org

2017-10-11T12:53:38+00:00

4eb26d0aec76f5f9588b330448511172146ac078












ssh: fix ssh_property_test
2017-05-23T11:50:58+00:00

Hans Nilsson
hans@erlang.org

2017-05-22T13:03:09+00:00

580dc012238b4fd2839730c0c44edaef55dc9b4b












ssh: update property test for sign-algorithm
2017-05-17T13:18:46+00:00

Hans Nilsson
hans@erlang.org

2017-05-10T13:27:30+00:00

0df70c244df12c0a0678b04401e891e4683d7f69












Update copyright year
2017-05-04T13:42:21+00:00

Raimo Niskanen
raimo@erlang.org

2017-05-04T13:42:21+00:00

83e20c62057ebc1d8064bf57b01be560cd244e1d