Age | Commit message (Expand) | Author |
---|---|---|
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 |
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 |
2014-09-18 | No side effects in function arguments | Thomas Arts |
2014-09-18 | Passing global var to QuickCheck statemachine | Thomas Arts |
2014-09-09 | ssh: update for triq tests | Hans Nilsson |
2014-09-02 | ssh: Add simple experimental property test suites | Hans Nilsson |