25 lines
741 B
C
25 lines
741 B
C
#include <assert.h>
|
|
|
|
#include "task01_mutex_model.h"
|
|
|
|
int main( void )
|
|
{
|
|
MutexEvidence events[ 10 ];
|
|
size_t index;
|
|
|
|
for( index = 0U; index < 10U; ++index )
|
|
{
|
|
events[ index ].sequence = ( uint32_t ) index + 1U;
|
|
events[ index ].event = ( uint32_t ) index + 1U;
|
|
events[ index ].tick = 0U;
|
|
events[ index ].actor = ( uint32_t ) index;
|
|
events[ index ].value = ( uint32_t ) index;
|
|
events[ index ].committed = 0xFC080000U | ( ( uint32_t ) index + 1U );
|
|
}
|
|
assert( fc08_order_is_valid( events, 10U ) != 0 );
|
|
assert( fc08_digest( events, 10U ) == fc08_digest( events, 10U ) );
|
|
events[ 6 ].event = 8U;
|
|
assert( fc08_order_is_valid( events, 10U ) == 0 );
|
|
return 0;
|
|
}
|