Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-10-29 | ssh: Enable property_test/ssh_eqc_client_server for PropEr | Hans 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-14 | Update copyright year | Hans Nilsson | |
2017-05-17 | ssh: fix end_per_suite in property testcase | Hans Nilsson | |
2016-12-14 | ssh: [test] property test cuddling | Hans Nilsson | |
2016-10-13 | ssh: property test case for illegal infoline and close | Hans Nilsson | |
This tests an illegal client that sends an info line and closes 'immediatly'. | |||
2016-06-01 | ssh: replace ?config in tests | Hans Nilsson | |
OTP-13565 | |||
2016-03-15 | update copyright-year | Henrik Nord | |
2015-06-18 | Change license text to APLv2 | Bruce Yinhe | |
2014-09-09 | ssh: update for triq tests | Hans Nilsson | |
2014-09-02 | ssh: Add simple experimental property test suites | Hans Nilsson | |