aboutsummaryrefslogtreecommitdiffstats
path: root/lib/ssh/test/property_test
AgeCommit message (Collapse)Author
2017-01-19ssh: fix mpint-bug in property testsHans 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-03-15update copyright-yearHenrik Nord
2015-06-18Change license text to APLv2Bruce Yinhe
2014-09-18OptimizationsHans Nilsson
2014-09-18ssh_eqc_encode_decode.erl compilesHans Nilsson
2014-09-18Add timeout to a property test (Thanks John & Tobias @ QuviQ)Hans Nilsson
2014-09-18Reduce the total testing time for the properties to 20 secondsThomas Arts
We need to make a global budget for testing on CI server and then define for each property how much it may use of that time. Probably in auxiliary file, such that it can be computed from what has changed in the repo.
2014-09-18No side effects in function argumentsThomas Arts
We want to be able to see tests with eqc_gen:sample, we also want to be able to re-run tests. Side effects are no good idea if these goals need to be met. Therefore, we replace the side effect to ask for a port by making a symbolic call of this. Nicer solutions are possible, but at least we can now re-run the test case, and therefore shrink.
2014-09-18Passing global var to QuickCheck statemachineThomas Arts
The data_dir used by the tests is given at runtime. This has as a disadvantage that the generate test has a hardcoded data_dir in it (ssh_eqc_client_server_dirs below): [{set,{var,1}, {call,ssh_eqc_client_server,initial_state, [{state,false,[],[],[],[],"ssh_eqc_client_server_dirs"}]}}, {set,{var,2}, {call,ssh_eqc_client_server,ssh_server, [{{127,1,1,1}, {call,ssh_eqc_client_server,inet_port,[{127,1,1,1}]}}, "ssh_eqc_client_server_dirs", [{parallel_login,true}]]}}, Re-running this tests on another machine works, since the path is relative, but if it were absolute, it would have been hard. Instead, we may use a symbolic representation of the data_dir and fill it in each time one runs the property, thus even when one does a check or recheck. The key to this is to use a variable in the test and bind the variable in the place where one runs the commands by using the environment variable feature of run_commands. Conflicts: lib/ssh/test/property_test/ssh_eqc_client_server.erl
2014-09-09ssh: update for triq testsHans Nilsson
2014-09-02ssh: Add simple experimental property test suitesHans Nilsson