diff options
| author | Thomas Arts <thomas.arts@quviq.com> | 2014-09-11 20:28:23 +0200 |
|---|---|---|
| committer | Hans Nilsson <hans@erlang.org> | 2014-09-18 10:09:40 +0200 |
| commit | 14418409c971cf20f5db35f8ff33713b1924c20a (patch) | |
| tree | 92aad82a098775a3232349030d08409e4db0e3b2 /lib/megaco/info | |
| parent | fccdd825e41006b36137cebf4b2059682f82c2eb (diff) | |
| download | otp-14418409c971cf20f5db35f8ff33713b1924c20a.tar.gz otp-14418409c971cf20f5db35f8ff33713b1924c20a.tar.bz2 otp-14418409c971cf20f5db35f8ff33713b1924c20a.zip | |
Reduce the total testing time for the properties to 20 seconds
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.
Diffstat (limited to 'lib/megaco/info')
0 files changed, 0 insertions, 0 deletions