Test: Rename genCount to genSlotCount

Describes better what it does.

Signed-off-by: Niklas Hambuechen <niklash@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Test: Generate sensible rate limits instead of plain Ints

Huge rate limits are not very useful for testing.

Signed-off-by: Niklas Hambuechen <niklash@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
SlotMap: Clarify adding to empty SlotMap

This points out an important case when `hasSlotsFor` returns False.

Signed-off-by: Niklas Hambuechen <niklash@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Test.JQScheduler: Refactor enqueued jobs

Makes the test easier to read.

Signed-off-by: Niklas Hambuechen <niklash@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Utils: Add `isSubsequenceOf`

It is useful for defining properties of `filter` like functions
(in fact, it is the only property that can be said about filter
if the filter predicate is not known).

Signed-off-by: Niklas Hambuechen <niklash@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Test.JQScheduler: Make test more precise

The output of a filter operation should be exactly a subsequence.

Signed-off-by: Niklas Hambuechen <niklash@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>