#include <assert.h>

#include "task01_isr_semaphore_model.h"

int main( void )
{
    IsrEvidence events[ 9 ];
    uint32_t index;
    for( index = 0U; index < 9U; ++index )
    {
        events[ index ].sequence = index + 1U;
        events[ index ].event = index + 1U;
        events[ index ].actor = index;
        events[ index ].value = index;
        events[ index ].tick = 0U;
        events[ index ].committed = 0xFC070000U | ( index + 1U );
    }
    assert( fc07_order_is_valid( events, 9U ) != 0 );
    events[ 7 ].event = 9U;
    assert( fc07_order_is_valid( events, 9U ) == 0 );
    assert( fc07_digest( events, 9U ) != 0U );
    return 0;
}