October 2026 - gerrit-log - lists.osmocom.org

[XS] Change in osmo-ttcn3-hacks[master]: SGP32Definitions_Templates: add parameters to tr/ts_SGP32_cancelSessi...
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43908?usp=email ) ( 1 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: SGP32Definitions_Templates: add parameters to tr/ts_SGP32_cancelSessionResponse ...................................................................... SGP32Definitions_Templates: add parameters to tr/ts_SGP32_cancelSessionResponse The templates for tr/ts_SGP32_cancelSessionResponse do not have any parameters yet. Let's make them parameterizable. Change-Id: I2b0bf75ad89e15c4ae2e002facce0b6a54a204bc Related: SYS#8203 --- M library/euicc/SGP32Definitions_Templates.ttcn 1 file changed, 4 insertions(+), 4 deletions(-) Approvals: Jenkins Builder: Verified laforge: Looks good to me, but someone else must approve jolly: Looks good to me, approved diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index 7b941e8..556a76a 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -726,12 +726,12 @@ /* GSMA SGP.32, section 6.3.2.5 */ template (present) SGP32_CancelSessionResponse -tr_SGP32_cancelSessionResponse := { - cancelSessionResponseOk := tr_cancelSessionResponseOk +tr_SGP32_cancelSessionResponse(template (present) CancelSessionResponseOk cancelSessionResponseOk := tr_cancelSessionResponseOk) := { + cancelSessionResponseOk := cancelSessionResponseOk } template (value) SGP32_CancelSessionResponse -ts_SGP32_cancelSessionResponse := { - cancelSessionResponseOk := ts_cancelSessionResponseOk +ts_SGP32_cancelSessionResponse(template (value) CancelSessionResponseOk cancelSessionResponseOk := ts_cancelSessionResponseOk) := { + cancelSessionResponseOk := cancelSessionResponseOk } template (present) EsipaMessageFromIpaToEim tr_cancelSessionRequestEsipa(template (present) octetstring transactionId := ?, -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43908?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I2b0bf75ad89e15c4ae2e002facce0b6a54a204bc Gerrit-Change-Number: 43908 Gerrit-PatchSet: 2 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[S] Change in osmo-ttcn3-hacks[master]: RSPDefinitions_Templates: add tr/ts_profileInstallationResultData_err
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43877?usp=email ) ( 2 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: RSPDefinitions_Templates: add tr/ts_profileInstallationResultData_err ...................................................................... RSPDefinitions_Templates: add tr/ts_profileInstallationResultData_err We already have a tr/ts_profileInstallationResultData template for the success case (successResult), let's now add a coresponding template for the error case (errorResult). Change-Id: Ib927cdea65adc633a8e4b93739f894b4adabffb5 Related: SYS#8203 --- M library/euicc/RSPDefinitions_Templates.ttcn 1 file changed, 42 insertions(+), 0 deletions(-) Approvals: jolly: Looks good to me, but someone else must approve laforge: Looks good to me, approved Jenkins Builder: Verified diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index 1147017..4ebb0b3 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -656,6 +656,48 @@ } } } +template (present) ProfileInstallationResultData +tr_profileInstallationResultData_err(template (present) charstring notificationAddress := ?, + template integer bppCommandId := ?, + template integer errorReason := ?, + template octetstring simaResponse := *) := { + transactionId := ?, + notificationMetadata := { + seqNumber := ?, + profileManagementOperation := ?, + notificationAddress := notificationAddress, + iccid := omit + }, + smdpOid := ?, + finalResult := { + errorResult := { + bppCommandId := bppCommandId, + errorReason := errorReason, + simaResponse := simaResponse + } + } +} +template (value) ProfileInstallationResultData +ts_profileInstallationResultData_err(template (value) charstring notificationAddress := SGP23_TEST_DP_ADDRESS1, + template (value) integer bppCommandId := 5, /* loadProfileElements */ + template (value) integer errorReason := 1, /* incorrectInputValues */ + template (omit) octetstring simaResponse := omit) := { + transactionId := SGP23_S_TRANSACTION_ID, + notificationMetadata := { + seqNumber := 1234, + profileManagementOperation := '1'B, /* notificationInstall */ + notificationAddress := notificationAddress, + iccid := omit + }, + smdpOid := SGP23_S_SM_DPp_OID, + finalResult := { + errorResult := { + bppCommandId := bppCommandId, + errorReason := errorReason, + simaResponse := simaResponse + } + } +} template (present) ProfileInstallationResult tr_profileInstallationResult(template (present) ProfileInstallationResultData profileInstallationResultData := tr_profileInstallationResultData, template (present) octetstring euiccSignPIR := ?) := { -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43877?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: Ib927cdea65adc633a8e4b93739f894b4adabffb5 Gerrit-Change-Number: 43877 Gerrit-PatchSet: 3 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[XS] Change in osmo-ttcn3-hacks[master]: RSPDefinitions_Templates: fix profileManagementOperation value
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43876?usp=email ) ( 2 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: RSPDefinitions_Templates: fix profileManagementOperation value ...................................................................... RSPDefinitions_Templates: fix profileManagementOperation value The constant for profileManagementOperation in ts_profileInstallationResultData is incorrectly set. (should be the first bit instead of the second bit) Change-Id: I05c333ecd4f750bd4ae94863696144b2b5b0f036 Related: SYS#8203 --- M library/euicc/RSPDefinitions_Templates.ttcn 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: laforge: Looks good to me, approved jolly: Looks good to me, but someone else must approve Jenkins Builder: Verified diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index 9565c73..1147017 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -644,7 +644,7 @@ transactionId := transactionId, notificationMetadata := { seqNumber := 1234, - profileManagementOperation := '01'B, /* is this correct? (notificationInstall) */ + profileManagementOperation := '1'B, /* notificationInstall */ notificationAddress := notificationAddress, iccid := SGP23_ICCID_OP_PROF1 }, -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43876?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I05c333ecd4f750bd4ae94863696144b2b5b0f036 Gerrit-Change-Number: 43876 Gerrit-PatchSet: 3 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[S] Change in osmo-ttcn3-hacks[master]: RSPDefinitions_Templates: add parameters to ts/tr_profileInstallation...
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43875?usp=email ) ( 2 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: RSPDefinitions_Templates: add parameters to ts/tr_profileInstallationResultData ...................................................................... RSPDefinitions_Templates: add parameters to ts/tr_profileInstallationResultData The templates ts/tr_profileInstallationResultData currently do not allow to set parameters. In particular not in the finalResult field. Let's extend the template so that we can set the parameters. Change-Id: I445c906a0142a401c305dbcbb3e94843a8f5fce9 Related: SYS#8203 --- M library/euicc/RSPDefinitions_Templates.ttcn 1 file changed, 21 insertions(+), 8 deletions(-) Approvals: Jenkins Builder: Verified laforge: Looks good to me, approved jolly: Looks good to me, but someone else must approve diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index 93485a1..9565c73 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -615,20 +615,33 @@ /* GSMA SGP.22, section 2.5.6 */ template (present) ProfileInstallationResultData -tr_profileInstallationResultData(template (present) charstring notificationAddress := ?) := { - transactionId := ?, +tr_profileInstallationResultData(template (present) charstring notificationAddress := ?, + template (present) octetstring transactionId := ?, + template (present) octetstring iccid := ?, + template (present) octetstring aid := ?, + template (present) octetstring simaResponse := ?) := { + transactionId := transactionId, notificationMetadata := { seqNumber := ?, profileManagementOperation := ?, notificationAddress := notificationAddress, - iccid := * + iccid := iccid }, smdpOid := ?, - finalResult := ? + finalResult := { + successResult := { + aid := ?, + simaResponse := ? + } + } } template (value) ProfileInstallationResultData -ts_profileInstallationResultData(template (value) charstring notificationAddress := SGP23_TEST_DP_ADDRESS1) := { - transactionId := SGP23_S_TRANSACTION_ID, +ts_profileInstallationResultData(template (value) charstring notificationAddress := SGP23_TEST_DP_ADDRESS1, + template (value) octetstring transactionId := SGP23_S_TRANSACTION_ID, + template (value) octetstring iccid := SGP23_ICCID_OP_PROF1, + template (value) octetstring aid := SGP23_SSD_AID, + template (value) octetstring simaResponse := SGP23_SIMA_RESULT_OK) := { + transactionId := transactionId, notificationMetadata := { seqNumber := 1234, profileManagementOperation := '01'B, /* is this correct? (notificationInstall) */ @@ -638,8 +651,8 @@ smdpOid := SGP23_S_SM_DPp_OID, finalResult := { successResult := { - aid := SGP23_SSD_AID, - simaResponse := SGP23_SIMA_RESULT_OK + aid := aid, + simaResponse := simaResponse } } } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43875?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I445c906a0142a401c305dbcbb3e94843a8f5fce9 Gerrit-Change-Number: 43875 Gerrit-PatchSet: 3 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[XS] Change in osmo-ttcn3-hacks[master]: RSPDefinitions_Templates: Add new template (otherSignedNotif)
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43854?usp=email ) ( 3 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: RSPDefinitions_Templates: Add new template (otherSignedNotif) ...................................................................... RSPDefinitions_Templates: Add new template (otherSignedNotif) We already have a template to match/generate a notification with a Profile Installation Result. Let's now add a variant to generate/match an Other Signed Notification. Change-Id: I7a18cb9bfe9b3098d3c6ffc1f54a5242f0cb980f Related: SYS#8203 --- M library/euicc/RSPDefinitions_Templates.ttcn 1 file changed, 8 insertions(+), 0 deletions(-) Approvals: jolly: Looks good to me, but someone else must approve laforge: Looks good to me, approved Jenkins Builder: Verified diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index 503df4f..93485a1 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -604,6 +604,14 @@ ts_pendingNotification_prfleInstRslt(template (value) ProfileInstallationResult profileInstallationResult := ts_profileInstallationResult) := { profileInstallationResult := profileInstallationResult } +template (present) PendingNotification +tr_pendingNotification_otherSignedNotif(template (present) OtherSignedNotification otherSignedNotification := ?) := { + otherSignedNotification := otherSignedNotification +} +template (value) PendingNotification +ts_pendingNotification_otherSignedNotif(template (value) OtherSignedNotification otherSignedNotification := ts_otherSignedNotification) := { + otherSignedNotification := otherSignedNotification +} /* GSMA SGP.22, section 2.5.6 */ template (present) ProfileInstallationResultData -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43854?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I7a18cb9bfe9b3098d3c6ffc1f54a5242f0cb980f Gerrit-Change-Number: 43854 Gerrit-PatchSet: 4 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[XS] Change in osmo-ttcn3-hacks[master]: RSPDefinitions_Templates: add suffix to template tr/ts_pendingNotific...
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43853?usp=email ) ( 3 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: RSPDefinitions_Templates: add suffix to template tr/ts_pendingNotification ...................................................................... RSPDefinitions_Templates: add suffix to template tr/ts_pendingNotification The template tr/ts_pendingNotification coresponds to the SGP.32 template tr/ts_SGP32_pendingNotification_prfleInstRslt, which has the suffix "_prfleInstRslt". Let's add the same suffix to the SGP.22 variant in RSPDefinitions_Templates (This is to make room for a related _otherSignedNotif template, which we will add in a follow-up patch.) Change-Id: I7362cca65d21a149a158e583532c99c7900decb2 Related: SYS#8203 --- M library/euicc/RSPDefinitions_Templates.ttcn 1 file changed, 5 insertions(+), 3 deletions(-) Approvals: jolly: Looks good to me, but someone else must approve Jenkins Builder: Verified laforge: Looks good to me, approved diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index b8017fc..503df4f 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -596,10 +596,12 @@ bppEuiccOtpk := omit } -template (present) PendingNotification tr_pendingNotification(template (present) ProfileInstallationResult profileInstallationResult := ?) := { +template (present) PendingNotification +tr_pendingNotification_prfleInstRslt(template (present) ProfileInstallationResult profileInstallationResult := ?) := { profileInstallationResult := profileInstallationResult } -template (value) PendingNotification ts_pendingNotification(template (value) ProfileInstallationResult profileInstallationResult := ts_profileInstallationResult) := { +template (value) PendingNotification +ts_pendingNotification_prfleInstRslt(template (value) ProfileInstallationResult profileInstallationResult := ts_profileInstallationResult) := { profileInstallationResult := profileInstallationResult } @@ -796,7 +798,7 @@ } } template (value) RemoteProfileProvisioningRequest -ts_handleNotification(template (value) PendingNotification pendingNotification := ts_pendingNotification) := { +ts_handleNotification(template (value) PendingNotification pendingNotification := ts_pendingNotification_prfleInstRslt) := { handleNotification := { pendingNotification := pendingNotification } -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43853?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I7362cca65d21a149a158e583532c99c7900decb2 Gerrit-Change-Number: 43853 Gerrit-PatchSet: 4 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[XS] Change in osmo-ttcn3-hacks[master]: RSPDefinitions_Templates: Add missing defaults to ts_otherSignedNotif...
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43852?usp=email ) ( 3 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: RSPDefinitions_Templates: Add missing defaults to ts_otherSignedNotification ...................................................................... RSPDefinitions_Templates: Add missing defaults to ts_otherSignedNotification The parameters euiccCertificate and eumCertificate have no default value. Change-Id: I83f1b766b20cb43d798046ab6762664e6ec080f9 Related: SYS#8203 --- M library/euicc/RSPDefinitions_Templates.ttcn 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: jolly: Looks good to me, but someone else must approve Jenkins Builder: Verified laforge: Looks good to me, approved diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index 964e1f7..b8017fc 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -1127,8 +1127,8 @@ template (value) OtherSignedNotification ts_otherSignedNotification(template (value) NotificationMetadata tbsOtherNotification := ts_notificationMetadata, template (value) octetstring euiccNotificationSignature := SGP23_TBS_EUICC_NOTIF_SIG, - template (value) Certificate euiccCertificate, - template (value) Certificate eumCertificate) := { + template (value) Certificate euiccCertificate := ts_cert_euicc_nist, + template (value) Certificate eumCertificate := ts_cert_eum_nist) := { tbsOtherNotification := tbsOtherNotification, euiccNotificationSignature := euiccNotificationSignature, euiccCertificate := euiccCertificate, -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43852?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I83f1b766b20cb43d798046ab6762664e6ec080f9 Gerrit-Change-Number: 43852 Gerrit-PatchSet: 4 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[S] Change in osmo-ttcn3-hacks[master]: SGP32Definitions_Templates: rework tr_SGP32_pendingNotification_prfle...
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43851?usp=email ) ( 3 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: SGP32Definitions_Templates: rework tr_SGP32_pendingNotification_prfleInstRslt ...................................................................... SGP32Definitions_Templates: rework tr_SGP32_pendingNotification_prfleInstRslt The template ts_SGP32_pendingNotification_prfleInstRslt has only one parameter, which is the notificationAddress. This parameter is passed to another template within the template. This is an unfortunate combination. Let's untangle this by adding a dedicated template for the SGP32 Profile Installation Result and use this template as parameter for tr/ts_SGP32_pendingNotification_prfleInstRslt. This slightly changes the API of the template, so we have to re-align eIM_Tests as well. Change-Id: I1867dad3a817785623029b9fd1fc9c4f746a6faa Related: SYS#8203 --- M eim/eIM_Tests.ttcn M library/euicc/SGP32Definitions_Templates.ttcn 2 files changed, 23 insertions(+), 11 deletions(-) Approvals: laforge: Looks good to me, approved jolly: Looks good to me, but someone else must approve Jenkins Builder: Verified diff --git a/eim/eIM_Tests.ttcn b/eim/eIM_Tests.ttcn index 1547eab..e2ed6ef 100644 --- a/eim/eIM_Tests.ttcn +++ b/eim/eIM_Tests.ttcn @@ -530,7 +530,11 @@ f_esipa_receive(tr_getBoundProfilePackageResponseEsipa); /* Handle notification */ - f_esipa_send(valueof(ts_handleNotificationEsipa_pendingNotif(ts_SGP32_pendingNotification_prfleInstRslt(notificationAddress := smdpp_addr)))); + f_esipa_send(valueof(ts_handleNotificationEsipa_pendingNotif( + ts_SGP32_pendingNotification_prfleInstRslt( + ts_SGP32_profileInstallationResult( + profileInstallationResultData := ts_profileInstallationResultData( + notificationAddress := smdpp_addr)))))); f_es9p_transceive_empty_response(tr_handleNotification); f_rest_lookup_resource(resource_id, "download", tr_JSON_REST_success); diff --git a/library/euicc/SGP32Definitions_Templates.ttcn b/library/euicc/SGP32Definitions_Templates.ttcn index 1911515..7b941e8 100644 --- a/library/euicc/SGP32Definitions_Templates.ttcn +++ b/library/euicc/SGP32Definitions_Templates.ttcn @@ -880,17 +880,25 @@ } /* GSMA SGP.32, section 6.3.2.4 */ -template (present) SGP32_PendingNotification tr_SGP32_pendingNotification_prfleInstRslt := { - profileInstallationResult := { - profileInstallationResultData := tr_profileInstallationResultData, - euiccSignPIR := ? - } +template (present) SGP32_ProfileInstallationResult +tr_SGP32_profileInstallationResult(template (present) ProfileInstallationResultData profileInstallationResultData := tr_profileInstallationResultData, + template (present) octetstring euiccSignPIR := ?) := { + profileInstallationResultData := profileInstallationResultData, + euiccSignPIR := euiccSignPIR } -template (value) SGP32_PendingNotification ts_SGP32_pendingNotification_prfleInstRslt(template (value) charstring notificationAddress := SGP23_TEST_DP_ADDRESS1) := { - profileInstallationResult := { - profileInstallationResultData := ts_profileInstallationResultData(notificationAddress), - euiccSignPIR := SGP23_EUICC_SIGN_PIR - } +template (value) SGP32_ProfileInstallationResult +ts_SGP32_profileInstallationResult(template (value) ProfileInstallationResultData profileInstallationResultData := ts_profileInstallationResultData, + template (value) octetstring euiccSignPIR := SGP23_EUICC_SIGN_PIR) := { + profileInstallationResultData := profileInstallationResultData, + euiccSignPIR := euiccSignPIR +} +template (present) SGP32_PendingNotification +tr_SGP32_pendingNotification_prfleInstRslt(template (present) SGP32_ProfileInstallationResult profileInstallationResult := tr_SGP32_profileInstallationResult) := { + profileInstallationResult := profileInstallationResult +} +template (value) SGP32_PendingNotification +ts_SGP32_pendingNotification_prfleInstRslt(template (value) SGP32_ProfileInstallationResult profileInstallationResult := ts_SGP32_profileInstallationResult) := { + profileInstallationResult := profileInstallationResult } template (present) SGP32_PendingNotification tr_SGP32_pendingNotification_otherSignedNotif(template (present) OtherSignedNotification otherSignedNotification) := { -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43851?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I1867dad3a817785623029b9fd1fc9c4f746a6faa Gerrit-Change-Number: 43851 Gerrit-PatchSet: 4 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[XS] Change in osmo-ttcn3-hacks[master]: esipa_Types_JSON: make eimAcknowledgements mandatory
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43850?usp=email ) ( 3 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: esipa_Types_JSON: make eimAcknowledgements mandatory ...................................................................... esipa_Types_JSON: make eimAcknowledgements mandatory The JSON type JSON_ESipa_ProvideEimPackageResultResponse has only one optional member eimAcknowledgements (next to the mandatory header field, that all message types have in common). In case the eimAcknowledgements member is missing. The JSON_ESipa_ProvideEimPackageResultResponse becomes indistinguishable from JSON_ESipa_EmptyResponse. To make it distinguishable, let's make the eimAcknowledgements mandatory. So that when it is included, the decoder will decode the message as JSON_ESipa_ProvideEimPackageResultResponse and as JSON_ESipa_EmptyResponse otherwise. It is then up to the API user to interpret the response accordingly. Change-Id: I8e151d7570ee9c3293340a5f8e52cfc62c60a018 Related: SYS#8203 --- M library/euicc/esipa_Types_JSON.ttcn 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jolly: Looks good to me, but someone else must approve laforge: Looks good to me, approved Jenkins Builder: Verified diff --git a/library/euicc/esipa_Types_JSON.ttcn b/library/euicc/esipa_Types_JSON.ttcn index 6d027b5..ab9c420 100644 --- a/library/euicc/esipa_Types_JSON.ttcn +++ b/library/euicc/esipa_Types_JSON.ttcn @@ -116,7 +116,7 @@ }; type record JSON_ESipa_ProvideEimPackageResultResponse { JSON_ESx_ResponseHeader header, - charstring eimAcknowledgements optional + charstring eimAcknowledgements /* required to distinct from JSON_ESipa_EmptyResponse */ }; /* GSMA SGP.32, section 6.4.1.7 */ -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43850?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I8e151d7570ee9c3293340a5f8e52cfc62c60a018 Gerrit-Change-Number: 43850 Gerrit-PatchSet: 4 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

[S] Change in osmo-ttcn3-hacks[master]: RSPDefinitions_Templates: add parameters to tr/ts_profileInstallation...
by dexter 19 Oct '26

19 Oct '26

dexter has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43849?usp=email ) ( 3 is the latest approved patch-set. No files were changed between the latest approved patch-set and the submitted one. )Change subject: RSPDefinitions_Templates: add parameters to tr/ts_profileInstallationResult ...................................................................... RSPDefinitions_Templates: add parameters to tr/ts_profileInstallationResult The template tr/ts_profileInstallationResult has all parameters hardcoded. To use the template more flexible, let's add parameters. Change-Id: I4578440fc2dc4851d5d068e47952c831f18bf4d9 Related: SYS#8203 --- M library/euicc/RSPDefinitions_Templates.ttcn 1 file changed, 8 insertions(+), 6 deletions(-) Approvals: jolly: Looks good to me, but someone else must approve laforge: Looks good to me, approved Jenkins Builder: Verified diff --git a/library/euicc/RSPDefinitions_Templates.ttcn b/library/euicc/RSPDefinitions_Templates.ttcn index c4df06a..964e1f7 100644 --- a/library/euicc/RSPDefinitions_Templates.ttcn +++ b/library/euicc/RSPDefinitions_Templates.ttcn @@ -634,14 +634,16 @@ } } template (present) ProfileInstallationResult -tr_profileInstallationResult := { - profileInstallationResultData := tr_profileInstallationResultData, - euiccSignPIR := ? +tr_profileInstallationResult(template (present) ProfileInstallationResultData profileInstallationResultData := tr_profileInstallationResultData, + template (present) octetstring euiccSignPIR := ?) := { + profileInstallationResultData := profileInstallationResultData, + euiccSignPIR := euiccSignPIR } template (value) ProfileInstallationResult -ts_profileInstallationResult := { - profileInstallationResultData := ts_profileInstallationResultData, - euiccSignPIR := SGP23_EUICC_SIGN_PIR +ts_profileInstallationResult(template (value) ProfileInstallationResultData profileInstallationResultData := ts_profileInstallationResultData, + template (value) octetstring euiccSignPIR := SGP23_EUICC_SIGN_PIR) := { + profileInstallationResultData := profileInstallationResultData, + euiccSignPIR := euiccSignPIR } /* GSMA SGP.22, section 5.6.1 (ES9+) */ -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43849?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: merged Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I4578440fc2dc4851d5d068e47952c831f18bf4d9 Gerrit-Change-Number: 43849 Gerrit-PatchSet: 4 Gerrit-Owner: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de> Gerrit-Reviewer: jolly <andreas(a)eversberg.eu> Gerrit-Reviewer: laforge <laforge(a)osmocom.org>

1 0

2026

2025

2024

2023

2022

gerrit-log October 2026