otp.git - Mirror of Erlang/OTP repository.

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.
2018-10-29	ssh: Used fixed localhost address	Hans Nilsson
	Problem on Darwin, Solaris and FreeBSD with local addresses in 127.1.0.0/8
2018-10-29	ssh: Fix reporting functions in property_test/ssh_eqc_client_server.erl	Hans Nilsson

2018-10-29	ssh: Fix property_test/ssh_eqc_client_info_timing.erl	Hans Nilsson
	Had problems on Darwin, Solaris and FreeBSD.
2018-06-18	Update copyright year	Henrik Nord

2018-04-27	ssh: ssh_daemon_channel replaced by ssh_server_channel	Hans Nilsson

2017-10-30	ssh: Fix testcase failures caused by better key checks	Hans Nilsson

2017-05-23	ssh: fix ssh_property_test	Hans Nilsson

2017-05-17	ssh: update property test for sign-algorithm	Hans Nilsson

2017-05-04	Update copyright year	Raimo Niskanen

2017-01-19	ssh: fix mpint-bug in property tests	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-03-15	update copyright-year	Henrik Nord

2015-06-18	Change license text to APLv2	Bruce Yinhe

2014-09-18	Optimizations	Hans Nilsson

2014-09-18	ssh_eqc_encode_decode.erl compiles	Hans Nilsson

2014-09-18	Add timeout to a property test (Thanks John & Tobias @ QuviQ)	Hans Nilsson

2014-09-18	Reduce the total testing time for the properties to 20 seconds	Thomas 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-18	No side effects in function arguments	Thomas 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-18	Passing global var to QuickCheck statemachine	Thomas 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-09	ssh: update for triq tests	Hans Nilsson

2014-09-02	ssh: Add simple experimental property test suites	Hans Nilsson