#include "hv/interval.h"

#include <assert.h>
#include <stdint.h>

int main(void)
{
    uint64_t end = 0;
    struct hv_interval outer = { 0x1000u, 0x4000u };
    struct hv_interval inner = { 0x2000u, 0x1000u };
    struct hv_interval overflow = { UINT64_MAX - 1u, 4u };

    assert(hv_interval_end(outer, &end));
    assert(end == 0x5000u);
    assert(hv_interval_contains(outer, inner));
    assert(!hv_interval_contains(inner, outer));
    assert(!hv_interval_end(overflow, &end));
    return 0;
}