This module contains various tests for the leaky bucket. Some, prefixed by “play”, are simple, manual tests; two concern (non-)propagation of exceptions between the bucket thread and the action's thread; the last one compares a run of the actual bucket implementation against a model.