0ff3f2ff

Author: Tom Sydney Kerckhove <syd@cs-syd.eu>

Committer: Tom Sydney Kerckhove <NorfairKing@users.noreply.github.com>

ical: say what the spec says about COUNT and BYSETPOS

GREEN for the tests in the previous commit.

'Count' loses the bound entirely.  RFC 5545 section 3.3.10 constrains
COUNT nowhere, so the derived instance is the honest one, and COUNT=100
is an ordinary value again.  The "Valid values are 0 to 60." sentence it
used to carry belongs to BYSECOND, three declarations further down.

'BySetPos' gains the bound the spec does give: "Valid values are 1 to 366
or -366 to -1."

Both suites stay green and the recurrence suite runs the same number of
examples in the same time, so the now-unbounded 'genValid' for 'Count'
does not blow up the property tests that expand recurrence rules.  It
cannot: the expansion is bounded by the limit day regardless of how large
the count is.

Suite timing

Time to Start Worker time Duration Time to finish Idle
Config 4m57s 0s 0s 4m58s 4m57s
Eval 4m58s 10s 10s 5m09s 0s
Build 5m08s 0s 58m13s 1h03m22s 58m12s
Suite 4m57s 11s 58m24s 1h03m22s 1h03m10s

Timeline

0s5m