RuleBase Parallel Edition

Sender request get acknowledged

vunit sender_req_get_ack 
{
"Sender request get acknowleged"
%for i in 0..3 do
    assert always (StoB_REQ(%{i}) -> eventually! (BtoS_ACK(%{i}))); 
%end
}

Print this page