t_verify_priority

Transition between states
FromJ434E99B7034CToverify_priorit_high

Transition code
printf("\n\nMSG_MI: Interrupting Monitor active...\n");
printf("MSG_MI: Verify task...\n");


Triggers:

SignalsactiveMI

Portsmi_port