#include <assert.h>

#include "task01_software_timers_model.h"

int main( void )
{
    const uint32_t good[ 3 ] = { 2U, 4U, 7U };
    const uint32_t bad[ 3 ] = { 2U, 4U, 8U };
    TimerEvidence events[ 1 ] = {
        { 1U, 1U, 0U, 1U, 8U, 0xFC060001U }
    };

    assert( fc06_timeline_is_exact( good, 6U ) != 0 );
    assert( fc06_timeline_is_exact( bad, 6U ) == 0 );
    assert( fc06_digest( events, 1U ) != 0U );
    return 0;
}