Loading ItsPki_TestCases.ttcn +4 −5 Original line number Diff line number Diff line Loading @@ -3127,22 +3127,21 @@ module ItsPki_TestCases { v_request2) { tc_ac.stop; log("*** " & testcasename() & ": PASS: Same enrolment request received ***"); log("*** " & testcasename() & ": PASS: Enrolment request repetition received ***"); // send error respond to prevent future requests f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_success); } [] a_await_ec_http_request_from_iut(mw_http_ec_request_generic, v_request2) { tc_ac.stop; log("*** " & testcasename() & ": FAIL: 2nd enrolment request is not identical ***"); log("*** " & testcasename() & ": FAIL: 2nd enrolment request is not identical to the 1st one ***"); f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_error); } [] tc_ac.timeout { log("*** " & testcasename() & ": INCONC: First enrolment request not received ***"); log("*** " & testcasename() & ": INCONC: 2nd enrolment request was not received ***"); f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_timeout); } } // End of 'alt' statement f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_success); // Postamble f_cfHttpDown(); Loading
ItsPki_TestCases.ttcn +4 −5 Original line number Diff line number Diff line Loading @@ -3127,22 +3127,21 @@ module ItsPki_TestCases { v_request2) { tc_ac.stop; log("*** " & testcasename() & ": PASS: Same enrolment request received ***"); log("*** " & testcasename() & ": PASS: Enrolment request repetition received ***"); // send error respond to prevent future requests f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_success); } [] a_await_ec_http_request_from_iut(mw_http_ec_request_generic, v_request2) { tc_ac.stop; log("*** " & testcasename() & ": FAIL: 2nd enrolment request is not identical ***"); log("*** " & testcasename() & ": FAIL: 2nd enrolment request is not identical to the 1st one ***"); f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_error); } [] tc_ac.timeout { log("*** " & testcasename() & ": INCONC: First enrolment request not received ***"); log("*** " & testcasename() & ": INCONC: 2nd enrolment request was not received ***"); f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_timeout); } } // End of 'alt' statement f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_success); // Postamble f_cfHttpDown();