setverdict(fail, __SCOPE__ & ": Labels attribute not correct");
}
}
[] mccPort.receive(mw_response(mw_responsePrimitive(int2001))) -> value v_response {
tc_ac.stop;
setverdict(fail, __SCOPE__ & ": AEAnnc successfully created with wrong attributes");
}
[] mccPort.receive(mw_response(mw_responsePrimitiveInverse(int2001))) -> value v_response {
tc_ac.stop;
setverdict(fail, __SCOPE__ & ": Error while creating AEAnnc with status code " & int2str(enum2int(v_response.primitive.responsePrimitive.responseStatusCode)));
}
[] tc_ac.timeout {
setverdict(fail, __SCOPE__ & ": No answer while creating AEAnnc");