github.com/cockroachdb/pebble@v1.1.2/internal/keyspan/testdata/covers_at (about)

     1  define
     2  a-b:{(#5,RANGEDEL) (#3,RANGEDEL)}
     3  ----
     4  a-b:{(#5,RANGEDEL) (#3,RANGEDEL)}
     5  
     6  covers-at
     7  6 6
     8  6 5
     9  6 4
    10  6 2
    11  6 3
    12  5 5
    13  5 4
    14  5 3
    15  5 2
    16  4 5
    17  4 1
    18  3 9
    19  3 2
    20  3 1
    21  3 0
    22  2 0
    23  1 0
    24  ----
    25  6 6 : false
    26  6 5 : false
    27  6 4 : true
    28  6 2 : true
    29  6 3 : true
    30  5 5 : false
    31  5 4 : false
    32  5 3 : false
    33  5 2 : true
    34  4 5 : false
    35  4 1 : true
    36  3 9 : false
    37  3 2 : false
    38  3 1 : false
    39  3 0 : false
    40  2 0 : false
    41  1 0 : false
    42  
    43  # The below sequence number is the minimal batch sequence number (eg, a RANGEDEL
    44  # written right at the beginning of the batch.) In the tests below, all other
    45  # batch sequence numbers are not covered by it.
    46  
    47  define
    48  a-c:{(#36028797018963968,RANGEDEL)}
    49  ----
    50  a-c:{(#36028797018963968,RANGEDEL)}
    51  
    52  covers-at
    53  100 90000
    54  100 90
    55  0 0
    56  33 36028797018964068
    57  33 36028797018963968
    58  ----
    59  100 90000 : true
    60  100 90 : true
    61  0 0 : true
    62  33 36028797018964068 : false
    63  33 36028797018963968 : false
    64  
    65  # The below sequence number is a batch sequence number for offset 100.
    66  
    67  define
    68  a-c:{(#36028797018964068,RANGEDEL)}
    69  ----
    70  a-c:{(#36028797018964068,RANGEDEL)}
    71  
    72  covers-at
    73  10 10
    74  ----
    75  10 10 : true
    76  
    77  # The below sequence number is a batch sequence number for offset 200. It should
    78  # not be covered.
    79  
    80  covers-at
    81  100 36028797018964168
    82  ----
    83  100 36028797018964168 : false
    84  
    85  # The below sequence number is a batch sequence number for offset 0. It should
    86  # be covered.
    87  
    88  covers-at
    89  100 36028797018963968
    90  ----
    91  100 36028797018963968 : true