ER psnd_mbf( ID mbfid, VP msg, INT msgsz ) { return tsnd_mbf( mbfid, msg, msgsz, TMO_POL ); }
void task2(intptr_t exinf) { ER_UINT ercd; switch (++task2_count) { case 1: check_point(2); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_OK); check_point(0); case 2: check_point(6); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_OK); check_point(0); case 3: check_point(11); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_OK); check_point(0); case 4: check_point(16); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_RLWAI); check_point(19); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(21); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_RLWAI); check_point(24); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(27); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_RLWAI); check_point(32); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_RLWAI); check_point(37); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(39); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_RLWAI); check_point(43); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(46); ercd = snd_mbf(MBF1, string1, 26); check_ercd(ercd, E_RLWAI); check_point(52); ercd = tsnd_mbf(MBF1, string1, 26, 1000U); check_ercd(ercd, E_TMOUT); check_point(54); ercd = tslp_tsk(1000U); check_ercd(ercd, E_TMOUT); check_point(55); ercd = rcv_mbf(MBF1, buf1); check_ercd(ercd, 26); check_assert(strncmp(buf1, string2, 26) == 0); check_point(56); ercd = tsnd_mbf(MBF1, string1, 26, 1000U); check_ercd(ercd, E_TMOUT); check_point(58); ercd = slp_tsk(); check_ercd(ercd, E_OK); check_point(61); ercd = tsnd_mbf(MBF1, string1, 26, 1000U); check_ercd(ercd, E_TMOUT); check_finish(66); check_point(0); default: check_point(0); } check_point(0); }