Thanks!
[1] Fixed
[2] As discussed, these tests were already there and I didn't want to change them. Also, they do check that sleep() and random() are called in a certain order and with certain arguments.
« Back to merge proposal
Thanks!
[1] Fixed
[2] As discussed, these tests were already there and I didn't want to change them. Also, they do check that sleep() and random() are called in a certain order and with certain arguments.