#include #include "task01_workload.h" int main( void ) { uint32_t result = 0U; uint32_t value; for( value = 1U; value <= TASK01_WORK_LIMIT; ++value ) { result = task01_accumulate( result, value ); } return result == TASK01_EXPECTED_SUM ? 0 : 1; }