aboutsummaryrefslogtreecommitdiffstats
path: root/lib/ssh/test/ssh_property_test_SUITE.erl
AgeCommit message (Collapse)Author
2018-10-29ssh: Enable property_test/ssh_eqc_client_server for PropErHans Nilsson
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.
2017-06-14Update copyright yearHans Nilsson
2017-05-17ssh: fix end_per_suite in property testcaseHans Nilsson
2016-12-14ssh: [test] property test cuddlingHans Nilsson
2016-10-13ssh: property test case for illegal infoline and closeHans Nilsson
This tests an illegal client that sends an info line and closes 'immediatly'.
2016-06-01ssh: replace ?config in testsHans Nilsson
OTP-13565
2016-03-15update copyright-yearHenrik Nord
2015-06-18Change license text to APLv2Bruce Yinhe
2014-09-09ssh: update for triq testsHans Nilsson
2014-09-02ssh: Add simple experimental property test suitesHans Nilsson