CovidBracelet/src/ens/sequencenumber.c

#include "sequencenumber.h"

record_sequence_number_t sn_mask(record_sequence_number_t sn) {
    return (sn & SN_MASK);
}

int sn_equal(record_sequence_number_t a, record_sequence_number_t b) {
    return sn_mask(a) == sn_mask(b);
}

record_sequence_number_t sn_increment(record_sequence_number_t sn) {
    return sn_mask(++sn);
}