test_rechist.c revision bbee242a
106b2a236SDmitri Tikhonov/* Copyright (c) 2017 - 2021 LiteSpeed Technologies Inc.  See LICENSE. */
250aadb33SDmitri Tikhonov#include <assert.h>
350aadb33SDmitri Tikhonov#include <inttypes.h>
450aadb33SDmitri Tikhonov#include <stdio.h>
550aadb33SDmitri Tikhonov#include <stdlib.h>
650aadb33SDmitri Tikhonov#include <string.h>
750aadb33SDmitri Tikhonov
8fb3e20e0SDmitri Tikhonov#ifdef WIN32
9fb3e20e0SDmitri Tikhonov#include "vc_compat.h"
10fb3e20e0SDmitri Tikhonov#endif
11fb3e20e0SDmitri Tikhonov
1250aadb33SDmitri Tikhonov#include "lsquic_int_types.h"
1350aadb33SDmitri Tikhonov#include "lsquic_rechist.h"
1450aadb33SDmitri Tikhonov#include "lsquic_util.h"
1550aadb33SDmitri Tikhonov
1650aadb33SDmitri Tikhonov
1750aadb33SDmitri Tikhonovstatic void
1850aadb33SDmitri Tikhonovtest4 (void)
1950aadb33SDmitri Tikhonov{
2050aadb33SDmitri Tikhonov    lsquic_rechist_t rechist;
2150aadb33SDmitri Tikhonov    const struct lsquic_packno_range *range;
2250aadb33SDmitri Tikhonov    lsquic_packno_t packno;
2350aadb33SDmitri Tikhonov
24f38b395aSDmitri Tikhonov    lsquic_rechist_init(&rechist, 0, 0);
2550aadb33SDmitri Tikhonov
2650aadb33SDmitri Tikhonov    for (packno = 11917; packno <= 11941; ++packno)
2750aadb33SDmitri Tikhonov        lsquic_rechist_received(&rechist, packno, 0);
2850aadb33SDmitri Tikhonov    for (packno = 11946; packno <= 11994; ++packno)
2950aadb33SDmitri Tikhonov        lsquic_rechist_received(&rechist, packno, 0);
3050aadb33SDmitri Tikhonov
3150aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
3250aadb33SDmitri Tikhonov    assert(range);
3350aadb33SDmitri Tikhonov    assert(range->high == 11994);
3450aadb33SDmitri Tikhonov    assert(range->low == 11946);
3550aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
3650aadb33SDmitri Tikhonov    assert(range);
3750aadb33SDmitri Tikhonov    assert(range->high == 11941);
3850aadb33SDmitri Tikhonov    assert(range->low == 11917);
3950aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
4050aadb33SDmitri Tikhonov    assert(!range);
4150aadb33SDmitri Tikhonov
4250aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 11995, 0);
4350aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 11996, 0);
4450aadb33SDmitri Tikhonov
4550aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
4650aadb33SDmitri Tikhonov    assert(range);
4750aadb33SDmitri Tikhonov    assert(range->high == 11996);
4850aadb33SDmitri Tikhonov    assert(range->low == 11946);
4950aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
5050aadb33SDmitri Tikhonov    assert(range);
5150aadb33SDmitri Tikhonov    assert(range->high == 11941);
5250aadb33SDmitri Tikhonov    assert(range->low == 11917);
5350aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
5450aadb33SDmitri Tikhonov    assert(!range);
5550aadb33SDmitri Tikhonov
5650aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 11912, 0);
5750aadb33SDmitri Tikhonov    lsquic_rechist_stop_wait(&rechist, 11860);
5850aadb33SDmitri Tikhonov
5950aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
6050aadb33SDmitri Tikhonov    assert(range);
6150aadb33SDmitri Tikhonov    assert(range->high == 11996);
6250aadb33SDmitri Tikhonov    assert(range->low == 11946);
6350aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
6450aadb33SDmitri Tikhonov    assert(range);
6550aadb33SDmitri Tikhonov    assert(range->high == 11941);
6650aadb33SDmitri Tikhonov    assert(range->low == 11917);
6750aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
6850aadb33SDmitri Tikhonov    assert(range);
6950aadb33SDmitri Tikhonov    assert(range->high == 11912);
7050aadb33SDmitri Tikhonov    assert(range->low == 11912);
7150aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
7250aadb33SDmitri Tikhonov    assert(!range);
7350aadb33SDmitri Tikhonov
7450aadb33SDmitri Tikhonov    for (packno = 12169; packno <= 12193; ++packno)
7550aadb33SDmitri Tikhonov        lsquic_rechist_received(&rechist, packno, 0);
7650aadb33SDmitri Tikhonov
7750aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
7850aadb33SDmitri Tikhonov    assert(range);
7950aadb33SDmitri Tikhonov    assert(range->high == 12193);
8050aadb33SDmitri Tikhonov    assert(range->low == 12169);
8150aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
8250aadb33SDmitri Tikhonov    assert(range);
8350aadb33SDmitri Tikhonov    assert(range->high == 11996);
8450aadb33SDmitri Tikhonov    assert(range->low == 11946);
8550aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
8650aadb33SDmitri Tikhonov    assert(range);
8750aadb33SDmitri Tikhonov    assert(range->high == 11941);
8850aadb33SDmitri Tikhonov    assert(range->low == 11917);
8950aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
9050aadb33SDmitri Tikhonov    assert(range);
9150aadb33SDmitri Tikhonov    assert(range->high == 11912);
9250aadb33SDmitri Tikhonov    assert(range->low == 11912);
9350aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
9450aadb33SDmitri Tikhonov    assert(!range);
9550aadb33SDmitri Tikhonov
9650aadb33SDmitri Tikhonov    lsquic_rechist_cleanup(&rechist);
9750aadb33SDmitri Tikhonov}
9850aadb33SDmitri Tikhonov
9950aadb33SDmitri Tikhonov
10050aadb33SDmitri Tikhonovstatic void
10150aadb33SDmitri Tikhonovrechist2str (lsquic_rechist_t *rechist, char *buf, size_t bufsz)
10250aadb33SDmitri Tikhonov{
10350aadb33SDmitri Tikhonov    const struct lsquic_packno_range *range;
10450aadb33SDmitri Tikhonov    size_t off;
10550aadb33SDmitri Tikhonov    int n;
10650aadb33SDmitri Tikhonov
10750aadb33SDmitri Tikhonov    for (off = 0, range = lsquic_rechist_first(rechist);
10850aadb33SDmitri Tikhonov            range && off < bufsz;
10950aadb33SDmitri Tikhonov                off += n, range = lsquic_rechist_next(rechist))
11050aadb33SDmitri Tikhonov    {
11150aadb33SDmitri Tikhonov        n = snprintf(buf + off, bufsz - off, "[%"PRIu64"-%"PRIu64"]",
11250aadb33SDmitri Tikhonov                                                    range->high, range->low);
11350aadb33SDmitri Tikhonov        if (n < 0 || (size_t) n >= bufsz - off)
11450aadb33SDmitri Tikhonov            break;
11550aadb33SDmitri Tikhonov    }
11650aadb33SDmitri Tikhonov}
11750aadb33SDmitri Tikhonov
11850aadb33SDmitri Tikhonov
11950aadb33SDmitri Tikhonovstatic void
1201a0003e3SDmitri Tikhonovtest_range_copy (struct lsquic_rechist *orig, int ietf)
1211a0003e3SDmitri Tikhonov{
1221a0003e3SDmitri Tikhonov    char orig_str[0x1000], new_str[0x1000];
1231a0003e3SDmitri Tikhonov    struct lsquic_rechist new;
124bbee242aSDmitri Tikhonov    size_t len;
1251a0003e3SDmitri Tikhonov
1261a0003e3SDmitri Tikhonov    rechist2str(orig, orig_str, sizeof(orig_str));
1271a0003e3SDmitri Tikhonov
1281a0003e3SDmitri Tikhonov    lsquic_rechist_init(&new, ietf, 0);
1291a0003e3SDmitri Tikhonov    lsquic_rechist_copy_ranges(&new, orig,
1301a0003e3SDmitri Tikhonov        (const struct lsquic_packno_range * (*) (void *)) lsquic_rechist_first,
1311a0003e3SDmitri Tikhonov        (const struct lsquic_packno_range * (*) (void *)) lsquic_rechist_next);
1321a0003e3SDmitri Tikhonov    rechist2str(&new, new_str, sizeof(new_str));
1331a0003e3SDmitri Tikhonov    assert(0 == strcmp(orig_str, new_str));
134bbee242aSDmitri Tikhonov    lsquic_rechist_cleanup(&new);
135bbee242aSDmitri Tikhonov
136bbee242aSDmitri Tikhonov    /* This tests that lower-numbered ranges do not overwrite higher-numbered
137bbee242aSDmitri Tikhonov     * ranges.
138bbee242aSDmitri Tikhonov     */
139bbee242aSDmitri Tikhonov    lsquic_rechist_init(&new, ietf, 10);
140bbee242aSDmitri Tikhonov    lsquic_rechist_copy_ranges(&new, orig,
141bbee242aSDmitri Tikhonov        (const struct lsquic_packno_range * (*) (void *)) lsquic_rechist_first,
142bbee242aSDmitri Tikhonov        (const struct lsquic_packno_range * (*) (void *)) lsquic_rechist_next);
143bbee242aSDmitri Tikhonov    rechist2str(&new, new_str, sizeof(new_str));
144bbee242aSDmitri Tikhonov    len = strlen(new_str);
145bbee242aSDmitri Tikhonov    assert(0 == strncmp(orig_str, new_str, len));
146bbee242aSDmitri Tikhonov    lsquic_rechist_cleanup(&new);
1471a0003e3SDmitri Tikhonov}
1481a0003e3SDmitri Tikhonov
1491a0003e3SDmitri Tikhonov
1501a0003e3SDmitri Tikhonovstatic void
15150aadb33SDmitri Tikhonovtest5 (void)
15250aadb33SDmitri Tikhonov{
15350aadb33SDmitri Tikhonov    lsquic_rechist_t rechist;
15450aadb33SDmitri Tikhonov    char buf[100];
15550aadb33SDmitri Tikhonov
156f38b395aSDmitri Tikhonov    lsquic_rechist_init(&rechist, 0, 0);
15750aadb33SDmitri Tikhonov
15850aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 1, 0);
15950aadb33SDmitri Tikhonov    /* Packet 2 omitted because it could not be decrypted */
16050aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 3, 0);
16150aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 12, 0);
16250aadb33SDmitri Tikhonov
16350aadb33SDmitri Tikhonov    rechist2str(&rechist, buf, sizeof(buf));
16450aadb33SDmitri Tikhonov    assert(0 == strcmp(buf, "[12-12][3-3][1-1]"));
16550aadb33SDmitri Tikhonov
16650aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 4, 0);
16750aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 10, 0);
16850aadb33SDmitri Tikhonov
16950aadb33SDmitri Tikhonov    rechist2str(&rechist, buf, sizeof(buf));
17050aadb33SDmitri Tikhonov    assert(0 == strcmp(buf, "[12-12][10-10][4-3][1-1]"));
17150aadb33SDmitri Tikhonov
17250aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 6, 0);
17350aadb33SDmitri Tikhonov
17450aadb33SDmitri Tikhonov    rechist2str(&rechist, buf, sizeof(buf));
17550aadb33SDmitri Tikhonov    assert(0 == strcmp(buf, "[12-12][10-10][6-6][4-3][1-1]"));
17650aadb33SDmitri Tikhonov
17750aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 7, 0);
17850aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 8, 0);
17950aadb33SDmitri Tikhonov
18050aadb33SDmitri Tikhonov    rechist2str(&rechist, buf, sizeof(buf));
18150aadb33SDmitri Tikhonov    assert(0 == strcmp(buf, "[12-12][10-10][8-6][4-3][1-1]"));
18250aadb33SDmitri Tikhonov
18350aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 9, 0);
1841a0003e3SDmitri Tikhonov    test_range_copy(&rechist, 0);
18550aadb33SDmitri Tikhonov
18650aadb33SDmitri Tikhonov    rechist2str(&rechist, buf, sizeof(buf));
18750aadb33SDmitri Tikhonov    assert(0 == strcmp(buf, "[12-12][10-6][4-3][1-1]"));
18850aadb33SDmitri Tikhonov
18950aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 5, 0);
19050aadb33SDmitri Tikhonov    lsquic_rechist_received(&rechist, 11, 0);
19150aadb33SDmitri Tikhonov
19250aadb33SDmitri Tikhonov    rechist2str(&rechist, buf, sizeof(buf));
19350aadb33SDmitri Tikhonov    assert(0 == strcmp(buf, "[12-3][1-1]"));
19450aadb33SDmitri Tikhonov
19550aadb33SDmitri Tikhonov    lsquic_rechist_cleanup(&rechist);
19650aadb33SDmitri Tikhonov}
19750aadb33SDmitri Tikhonov
19850aadb33SDmitri Tikhonov
199b62ec17fSDmitri Tikhonovstatic void
200f38b395aSDmitri Tikhonovtest_rand_sequence (unsigned seed, unsigned max)
201b62ec17fSDmitri Tikhonov{
202b62ec17fSDmitri Tikhonov    struct lsquic_rechist rechist;
203b62ec17fSDmitri Tikhonov    const struct lsquic_packno_range *range;
204b62ec17fSDmitri Tikhonov    lsquic_packno_t prev_low;
205b62ec17fSDmitri Tikhonov    enum received_st st;
206f38b395aSDmitri Tikhonov    unsigned i, count;
207b62ec17fSDmitri Tikhonov
208f38b395aSDmitri Tikhonov    lsquic_rechist_init(&rechist, 1, max);
209b62ec17fSDmitri Tikhonov    srand(seed);
210b62ec17fSDmitri Tikhonov
211b62ec17fSDmitri Tikhonov    for (i = 0; i < 10000; ++i)
212b62ec17fSDmitri Tikhonov    {
213b62ec17fSDmitri Tikhonov        st = lsquic_rechist_received(&rechist, (unsigned) rand(), 0);
214b62ec17fSDmitri Tikhonov        assert(st == REC_ST_OK || st == REC_ST_DUP);
215b62ec17fSDmitri Tikhonov    }
216b62ec17fSDmitri Tikhonov
2171a0003e3SDmitri Tikhonov    test_range_copy(&rechist, 1);
2181a0003e3SDmitri Tikhonov
219b62ec17fSDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
220b62ec17fSDmitri Tikhonov    assert(range);
221b62ec17fSDmitri Tikhonov    assert(range->high >= range->low);
222b62ec17fSDmitri Tikhonov    prev_low = range->low;
223f38b395aSDmitri Tikhonov    count = 1;
224b62ec17fSDmitri Tikhonov
225b62ec17fSDmitri Tikhonov    while (range = lsquic_rechist_next(&rechist), range != NULL)
226b62ec17fSDmitri Tikhonov    {
227f38b395aSDmitri Tikhonov        ++count;
228b62ec17fSDmitri Tikhonov        assert(range->high >= range->low);
229b62ec17fSDmitri Tikhonov        assert(range->high < prev_low);
230b62ec17fSDmitri Tikhonov        prev_low = range->low;
231b62ec17fSDmitri Tikhonov    }
232f38b395aSDmitri Tikhonov    if (max)
233f38b395aSDmitri Tikhonov        assert(count <= max);
234b62ec17fSDmitri Tikhonov
235b62ec17fSDmitri Tikhonov    lsquic_rechist_cleanup(&rechist);
236b62ec17fSDmitri Tikhonov}
237b62ec17fSDmitri Tikhonov
238b62ec17fSDmitri Tikhonov
239b62ec17fSDmitri Tikhonovstruct shuffle_elem {
240b62ec17fSDmitri Tikhonov    unsigned    packno;
241b62ec17fSDmitri Tikhonov    int         rand;
242b62ec17fSDmitri Tikhonov};
243b62ec17fSDmitri Tikhonov
244b62ec17fSDmitri Tikhonov
245b62ec17fSDmitri Tikhonovstatic int
246b62ec17fSDmitri Tikhonovcomp_els (const void *a_p, const void *b_p)
247b62ec17fSDmitri Tikhonov{
248b62ec17fSDmitri Tikhonov    const struct shuffle_elem *a = a_p, *b = b_p;
249b62ec17fSDmitri Tikhonov    if (a->rand < b->rand)
250b62ec17fSDmitri Tikhonov        return -1;
251b62ec17fSDmitri Tikhonov    if (a->rand > b->rand)
252b62ec17fSDmitri Tikhonov        return 1;
253b62ec17fSDmitri Tikhonov    return (a->packno > b->packno) - (b->packno > a->packno);
254b62ec17fSDmitri Tikhonov}
255b62ec17fSDmitri Tikhonov
256b62ec17fSDmitri Tikhonov
257b62ec17fSDmitri Tikhonovstatic void
258b62ec17fSDmitri Tikhonovtest_shuffle_1000 (unsigned seed)
259b62ec17fSDmitri Tikhonov{
260b62ec17fSDmitri Tikhonov    struct lsquic_rechist rechist;
261b62ec17fSDmitri Tikhonov    const struct lsquic_packno_range *range;
262b62ec17fSDmitri Tikhonov    enum received_st st;
263b62ec17fSDmitri Tikhonov    unsigned i;
264b62ec17fSDmitri Tikhonov    struct shuffle_elem *els;
265b62ec17fSDmitri Tikhonov
266b62ec17fSDmitri Tikhonov    els = malloc(sizeof(els[0]) * 10000);
267f38b395aSDmitri Tikhonov    lsquic_rechist_init(&rechist, 1, 0);
268b62ec17fSDmitri Tikhonov    srand(seed);
269b62ec17fSDmitri Tikhonov
270b62ec17fSDmitri Tikhonov    for (i = 0; i < 10000; ++i)
271b62ec17fSDmitri Tikhonov    {
272b62ec17fSDmitri Tikhonov        els[i].packno = i;
273b62ec17fSDmitri Tikhonov        els[i].rand   = rand();
274b62ec17fSDmitri Tikhonov    }
275b62ec17fSDmitri Tikhonov
276b62ec17fSDmitri Tikhonov    qsort(els, 10000, sizeof(els[0]), comp_els);
277b62ec17fSDmitri Tikhonov
278b62ec17fSDmitri Tikhonov    for (i = 0; i < 10000; ++i)
279b62ec17fSDmitri Tikhonov    {
280b62ec17fSDmitri Tikhonov        st = lsquic_rechist_received(&rechist, els[i].packno, 0);
281b62ec17fSDmitri Tikhonov        assert(st == REC_ST_OK || st == REC_ST_DUP);
282b62ec17fSDmitri Tikhonov    }
2831a0003e3SDmitri Tikhonov    test_range_copy(&rechist, 1);
284b62ec17fSDmitri Tikhonov
285b62ec17fSDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
286b62ec17fSDmitri Tikhonov    assert(range);
287b62ec17fSDmitri Tikhonov    assert(range->high == 9999);
288b62ec17fSDmitri Tikhonov    assert(range->low == 0);
289b62ec17fSDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
290b62ec17fSDmitri Tikhonov    assert(!range);
291b62ec17fSDmitri Tikhonov
292b62ec17fSDmitri Tikhonov    lsquic_rechist_cleanup(&rechist);
293b62ec17fSDmitri Tikhonov    free(els);
294b62ec17fSDmitri Tikhonov}
295b62ec17fSDmitri Tikhonov
296b62ec17fSDmitri Tikhonov
29750aadb33SDmitri Tikhonovint
29850aadb33SDmitri Tikhonovmain (void)
29950aadb33SDmitri Tikhonov{
30050aadb33SDmitri Tikhonov    enum received_st st;
30150aadb33SDmitri Tikhonov    lsquic_rechist_t rechist;
30250aadb33SDmitri Tikhonov    unsigned i;
30350aadb33SDmitri Tikhonov    const struct lsquic_packno_range *range;
30450aadb33SDmitri Tikhonov
305f38b395aSDmitri Tikhonov    lsquic_rechist_init(&rechist, 0, 0);
30650aadb33SDmitri Tikhonov
307b62ec17fSDmitri Tikhonov    lsquic_time_t now = 1234;
30850aadb33SDmitri Tikhonov    st = lsquic_rechist_received(&rechist, 0, now);
30950aadb33SDmitri Tikhonov    assert(("inserting packet number zero results in error", st == REC_ST_ERR));
31050aadb33SDmitri Tikhonov
31150aadb33SDmitri Tikhonov    st = lsquic_rechist_received(&rechist, 1, now);
31250aadb33SDmitri Tikhonov    assert(("inserting packet number one is successful", st == REC_ST_OK));
31350aadb33SDmitri Tikhonov
31450aadb33SDmitri Tikhonov    st = lsquic_rechist_received(&rechist, 1, now);
31550aadb33SDmitri Tikhonov    assert(("inserting packet number one again results in duplicate error",
31650aadb33SDmitri Tikhonov                                                            st == REC_ST_DUP));
31750aadb33SDmitri Tikhonov
31850aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
31950aadb33SDmitri Tikhonov    assert(("first range returned correctly", range));
32050aadb33SDmitri Tikhonov    assert(("first range low value checks out", range->low == 1));
32150aadb33SDmitri Tikhonov    assert(("first range high value checks out", range->high == 1));
32250aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
32350aadb33SDmitri Tikhonov    assert(("second range does not exist", !range));
32450aadb33SDmitri Tikhonov
32550aadb33SDmitri Tikhonov    for (i = 3; i <= 5; ++i)
32650aadb33SDmitri Tikhonov    {
32750aadb33SDmitri Tikhonov        st = lsquic_rechist_received(&rechist, i, now);
32850aadb33SDmitri Tikhonov        assert(("inserting packet", st == REC_ST_OK));
32950aadb33SDmitri Tikhonov    }
33050aadb33SDmitri Tikhonov
33150aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
33250aadb33SDmitri Tikhonov    assert(("first range returned correctly", range));
33350aadb33SDmitri Tikhonov    assert(("first range low value checks out", range->low == 3));
33450aadb33SDmitri Tikhonov    assert(("first range high value checks out", range->high == 5));
33550aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
33650aadb33SDmitri Tikhonov    assert(("second range returned correctly", range));
33750aadb33SDmitri Tikhonov    assert(("second range low value checks out", range->low == 1));
33850aadb33SDmitri Tikhonov    assert(("second range high value checks out", range->high == 1));
33950aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
34050aadb33SDmitri Tikhonov    assert(("third range does not exist", !range));
34150aadb33SDmitri Tikhonov
34250aadb33SDmitri Tikhonov    lsquic_rechist_stop_wait(&rechist, 3);
34350aadb33SDmitri Tikhonov
34450aadb33SDmitri Tikhonov    st = lsquic_rechist_received(&rechist, 1, now);
34550aadb33SDmitri Tikhonov    assert(("inserting packet number one is unsuccessful after cutoff 3",
34650aadb33SDmitri Tikhonov                                                            st == REC_ST_DUP));
34750aadb33SDmitri Tikhonov
34850aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
34950aadb33SDmitri Tikhonov    assert(("first range returned correctly", range));
35050aadb33SDmitri Tikhonov    assert(("first range low value checks out", range->low == 3));
35150aadb33SDmitri Tikhonov    assert(("first range high value checks out", range->high == 5));
35250aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
35350aadb33SDmitri Tikhonov    assert(("second range does not exist", !range));
35450aadb33SDmitri Tikhonov
35550aadb33SDmitri Tikhonov    for (i = 9; i >= 7; --i)
35650aadb33SDmitri Tikhonov    {
35750aadb33SDmitri Tikhonov        st = lsquic_rechist_received(&rechist, i, now);
35850aadb33SDmitri Tikhonov        assert(("inserting packet", st == REC_ST_OK));
35950aadb33SDmitri Tikhonov    }
36050aadb33SDmitri Tikhonov
36150aadb33SDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
36250aadb33SDmitri Tikhonov    assert(("first range returned correctly", range));
36350aadb33SDmitri Tikhonov    assert(("first range low value checks out", range->low == 7));
36450aadb33SDmitri Tikhonov    assert(("first range high value checks out", range->high == 9));
36550aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
36650aadb33SDmitri Tikhonov    assert(("second range returned correctly", range));
36750aadb33SDmitri Tikhonov    assert(("second range low value checks out", range->low == 3));
36850aadb33SDmitri Tikhonov    assert(("second range high value checks out", range->high == 5));
36950aadb33SDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
37050aadb33SDmitri Tikhonov    assert(("third range does not exist", !range));
37150aadb33SDmitri Tikhonov
372b62ec17fSDmitri Tikhonov    lsquic_rechist_stop_wait(&rechist, 5);
373b62ec17fSDmitri Tikhonov
374b62ec17fSDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
375b62ec17fSDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
376b62ec17fSDmitri Tikhonov    assert(("second range returned correctly", range));
377b62ec17fSDmitri Tikhonov    assert(("second range low value checks out", range->low == 5));
378b62ec17fSDmitri Tikhonov    assert(("second range high value checks out", range->high == 5));
379b62ec17fSDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
380b62ec17fSDmitri Tikhonov    assert(("third range does not exist", !range));
381b62ec17fSDmitri Tikhonov
382b62ec17fSDmitri Tikhonov    lsquic_rechist_stop_wait(&rechist, 8);
383b62ec17fSDmitri Tikhonov
384b62ec17fSDmitri Tikhonov    range = lsquic_rechist_first(&rechist);
385b62ec17fSDmitri Tikhonov    assert(("first range returned correctly", range));
386b62ec17fSDmitri Tikhonov    assert(("first range low value checks out", range->low == 8));
387b62ec17fSDmitri Tikhonov    assert(("first range high value checks out", range->high == 9));
388b62ec17fSDmitri Tikhonov    range = lsquic_rechist_next(&rechist);
389b62ec17fSDmitri Tikhonov    assert(("second range does not exist", !range));
390b62ec17fSDmitri Tikhonov
39150aadb33SDmitri Tikhonov    lsquic_rechist_cleanup(&rechist);
39250aadb33SDmitri Tikhonov
39350aadb33SDmitri Tikhonov    test4();
39450aadb33SDmitri Tikhonov
39550aadb33SDmitri Tikhonov    test5();
39650aadb33SDmitri Tikhonov
397b62ec17fSDmitri Tikhonov    for (i = 0; i < 10; ++i)
398f38b395aSDmitri Tikhonov        test_rand_sequence(i, 0);
399f38b395aSDmitri Tikhonov
400f38b395aSDmitri Tikhonov    for (i = 0; i < 10; ++i)
401f38b395aSDmitri Tikhonov        test_rand_sequence(i, 111 + i * 3 /* Just something arbitrary */);
402b62ec17fSDmitri Tikhonov
403b62ec17fSDmitri Tikhonov    for (i = 0; i < 10; ++i)
404b62ec17fSDmitri Tikhonov        test_shuffle_1000(i);
405b62ec17fSDmitri Tikhonov
40650aadb33SDmitri Tikhonov    return 0;
40750aadb33SDmitri Tikhonov}
408