Attention is currently required from: jolly.
Hello Jenkins Builder, dexter,
I'd like you to reexamine a change. Please visit
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43267?usp=email
to look at the new patch set (#3).
The following approvals got outdated and were removed:
Verified+1 by Jenkins Builder
The change is no longer submittable: Verified is unsatisfied now.
Change subject: Add log message for unexpected result in PIPEasp function
......................................................................
Add log message for unexpected result in PIPEasp function
If the expected result is not received by the exec function, the test
case will fail with a log message of the unexpected result, rather than
waiting for the timeout.
Related: SYS#8101
Change-Id: Ic20f4b23050940348879512d6c8b78c1ae70e75d
---
M library/PIPEasp_Templates.ttcn
1 file changed, 4 insertions(+), 0 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/67/43267/3
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43267?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: newpatchset
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: Ic20f4b23050940348879512d6c8b78c1ae70e75d
Gerrit-Change-Number: 43267
Gerrit-PatchSet: 3
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de>
Gerrit-Attention: jolly <andreas(a)eversberg.eu>
Hello Jenkins Builder, laforge, osmith,
I'd like you to reexamine a change. Please visit
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43275?usp=email
to look at the new patch set (#5).
The following approvals got outdated and were removed:
Verified+1 by Jenkins Builder
The change is no longer submittable: Verified is unsatisfied now.
Change subject: IPAd: Add test to verify the correct setting of Device Capabilites
......................................................................
IPAd: Add test to verify the correct setting of Device Capabilites
Specify Device Capabilities via command line option and expect them in
the TERMINAL CAPABILIES message towards eUICC.
Related: SYS#8101
Change-Id: I72d2235d3a9f287ea2af2fae3a83ffe6e54fec44
---
M ipad/IPAd_Tests.ttcn
1 file changed, 25 insertions(+), 3 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/75/43275/5
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43275?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: newpatchset
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I72d2235d3a9f287ea2af2fae3a83ffe6e54fec44
Gerrit-Change-Number: 43275
Gerrit-PatchSet: 5
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: laforge <laforge(a)osmocom.org>
Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>
Hello Jenkins Builder, laforge, osmith,
I'd like you to reexamine a change. Please visit
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43276?usp=email
to look at the new patch set (#6).
The following approvals got outdated and were removed:
Verified+1 by Jenkins Builder
The change is no longer submittable: Verified is unsatisfied now.
Change subject: IPAd: A test to verify PSMO forwarding
......................................................................
IPAd: A test to verify PSMO forwarding
Related: SYS#8101
Change-Id: I38cccc34456eb7654b15582d952b6a1957305a74
---
M eim/eIM_Tests.ttcn
M ipad/IPAd_Tests.ttcn
M library/euicc/RSPDefinitions_Templates.ttcn
M library/euicc/SGP32Definitions_Templates.ttcn
M library/euicc/SGP32Definitions_Types.ttcn
5 files changed, 85 insertions(+), 17 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/76/43276/6
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43276?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: newpatchset
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I38cccc34456eb7654b15582d952b6a1957305a74
Gerrit-Change-Number: 43276
Gerrit-PatchSet: 6
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: laforge <laforge(a)osmocom.org>
Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>
Hello Jenkins Builder, laforge, osmith,
I'd like you to reexamine a change. Please visit
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43278?usp=email
to look at the new patch set (#6).
The following approvals got outdated and were removed:
Verified+1 by Jenkins Builder
The change is no longer submittable: Verified is unsatisfied now.
Change subject: IPAd: Add eimTransactionId to TC_proc_euicc_data_req
......................................................................
IPAd: Add eimTransactionId to TC_proc_euicc_data_req
As we now have an optional transaction ID within euiccDataReq, check if
the same transaction ID is received with the euiccDataResp.
Related: SYS#8101
Change-Id: I1bb68e1befbc208b84e866450eb51041bc5ea772
---
M ipad/IPAd_Tests.ttcn
M library/euicc/SGP32Definitions_Templates.ttcn
2 files changed, 17 insertions(+), 12 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/78/43278/6
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43278?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: newpatchset
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I1bb68e1befbc208b84e866450eb51041bc5ea772
Gerrit-Change-Number: 43278
Gerrit-PatchSet: 6
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: laforge <laforge(a)osmocom.org>
Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>
Attention is currently required from: jolly.
Hello Jenkins Builder, dexter,
I'd like you to reexamine a change. Please visit
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43279?usp=email
to look at the new patch set (#6).
The following approvals got outdated and were removed:
Verified+1 by Jenkins Builder
The change is no longer submittable: Verified is unsatisfied now.
Change subject: IPAd: Add eimTransactionId to TC_proc_indirect_prfle_dwnld
......................................................................
IPAd: Add eimTransactionId to TC_proc_indirect_prfle_dwnld
As we now have an optional transaction ID within
profileDownloadTriggerRequest, check if the same transaction ID is
received with the initiateAuthenticationRequestEsipa.
Related: SYS#8101
Change-Id: I1b6370188a909dd2315215b6eff23c80d2b26c30
---
M ipad/IPAd_Tests.ttcn
M library/euicc/SGP32Definitions_Templates.ttcn
2 files changed, 16 insertions(+), 10 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/79/43279/6
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43279?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: newpatchset
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I1b6370188a909dd2315215b6eff23c80d2b26c30
Gerrit-Change-Number: 43279
Gerrit-PatchSet: 6
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: dexter <pmaier(a)sysmocom.de>
Gerrit-Attention: jolly <andreas(a)eversberg.eu>
jolly has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/42965?usp=email )
Change subject: Add close function to HTTP_Server_Emulation
......................................................................
Add close function to HTTP_Server_Emulation
If we want to simulate a broken HTTP request towards the client, we may
wait until the client times out. This results in closing the TCP
connection by the client. It then results in failure of the SSL
connection at Titan's Abstract_Socket component. The TTCN3-tests fails.
One solution is to actively close the connection via a close function.
The client will not wait for the timeout. The Abstact_Socket will then
not receive any failure. The test runs faster.
Related: SYS#8101
Change-Id: Id09976800c7498a7173b5d8911fe545504cfa266
---
M eim/eIM_Tests.ttcn
M ipad/IPAd_Tests.ttcn
M library/HTTP_Server_Emulation.ttcn
3 files changed, 18 insertions(+), 5 deletions(-)
Approvals:
osmith: Looks good to me, but someone else must approve
laforge: Looks good to me, approved
Jenkins Builder: Verified
diff --git a/eim/eIM_Tests.ttcn b/eim/eIM_Tests.ttcn
index 21da52b..9aa0a61 100644
--- a/eim/eIM_Tests.ttcn
+++ b/eim/eIM_Tests.ttcn
@@ -172,7 +172,7 @@
T.start;
alt {
- [] HTTP_SRV[0].receive({ request := ? }) -> value es9p_req {
+ [] HTTP_SRV[0].receive(HTTPMessage:{ request := ? }) -> value es9p_req {
dec_RemoteProfileProvisioningRequest_from_JSON(es9p_req.request.body, request);
}
[] T.timeout {
diff --git a/ipad/IPAd_Tests.ttcn b/ipad/IPAd_Tests.ttcn
index ce744d0..7044217 100644
--- a/ipad/IPAd_Tests.ttcn
+++ b/ipad/IPAd_Tests.ttcn
@@ -352,7 +352,7 @@
T.start;
alt {
- [] HTTP_SRV[0].receive({ request_binary := ? }) -> value esipa_req_encoded {
+ [] HTTP_SRV[0].receive(HTTPMessage:{ request_binary := ? }) -> value esipa_req_encoded {
esipa_req := dec_EsipaMessageFromIpaToEim(esipa_req_encoded.request_binary.body);
if (not istemplatekind(expected_esipa_req, "omit")) {
if (not match(valueof(esipa_req), expected_esipa_req)) {
diff --git a/library/HTTP_Server_Emulation.ttcn b/library/HTTP_Server_Emulation.ttcn
index 9270ccb..73a93bc 100644
--- a/library/HTTP_Server_Emulation.ttcn
+++ b/library/HTTP_Server_Emulation.ttcn
@@ -33,9 +33,9 @@
port HTTPmsg_PT HTTP_server_port;
/* Communication with Clients */
- port HTTP_SRV_PT CLIENT;
- port HTTP_SRV_PROC_PT CLIENT_PROC;
- port HTTP_SRV_PT CLIENT_DEFAULT;
+ port HTTP_CLNT_PT CLIENT;
+ port HTTP_CLNT_PROC_PT CLIENT_PROC;
+ port HTTP_CLNT_PT CLIENT_DEFAULT;
/* Configuration by the user */
var HttpServerEmulationCfg g_http_cfg;
@@ -102,6 +102,9 @@
[] CLIENT.receive(HTTPMessage:?) -> value send_resp_value sender vc_conn {
HTTP_server_port.send(send_resp_value);
}
+ [] CLIENT.receive(Close:?) -> sender vc_conn {
+ HTTP_server_port.send(close);
+ }
[] HTTP_server_port.receive(half_close) {
HTTP_server_port.send(close);
}
@@ -120,6 +123,12 @@
***********************************************************************/
type port HTTP_SRV_PT message {
inout HTTPMessage;
+ out Close;
+} with { extension "internal" };
+
+type port HTTP_CLNT_PT message {
+ inout HTTPMessage;
+ in Close;
} with { extension "internal" };
signature HTTPEM_register();
@@ -128,6 +137,10 @@
inout HTTPEM_register;
} with { extension "internal" };
+type port HTTP_CLNT_PROC_PT procedure {
+ inout HTTPEM_register;
+} with { extension "internal" };
+
/***********************************************************************
* Client Component
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/42965?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: Id09976800c7498a7173b5d8911fe545504cfa266
Gerrit-Change-Number: 42965
Gerrit-PatchSet: 7
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
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>
Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>
jolly has posted comments on this change by jolly. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43275?usp=email )
Change subject: IPAd: Add test to verify the correct setting of Device Capabilites
......................................................................
Patch Set 4: Code-Review+2
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43275?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: comment
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I72d2235d3a9f287ea2af2fae3a83ffe6e54fec44
Gerrit-Change-Number: 43275
Gerrit-PatchSet: 4
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: laforge <laforge(a)osmocom.org>
Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>
Gerrit-Comment-Date: Tue, 25 Aug 2026 11:16:04 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
jolly has posted comments on this change by jolly. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43276?usp=email )
Change subject: IPAd: A test to verify PSMO forwarding
......................................................................
Patch Set 5: Code-Review+2
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43276?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: comment
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I38cccc34456eb7654b15582d952b6a1957305a74
Gerrit-Change-Number: 43276
Gerrit-PatchSet: 5
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: laforge <laforge(a)osmocom.org>
Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>
Gerrit-Comment-Date: Tue, 25 Aug 2026 11:15:58 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Attention is currently required from: jolly.
osmith has posted comments on this change by jolly. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43373?usp=email )
Change subject: IPAd: A test to verify proper session cancellation by eIM
......................................................................
Patch Set 3: Code-Review+1
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43373?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: comment
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I6b2360b043e11c8a20eda7cda426b822c6876b45
Gerrit-Change-Number: 43373
Gerrit-PatchSet: 3
Gerrit-Owner: jolly <andreas(a)eversberg.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: osmith <osmith(a)sysmocom.de>
Gerrit-Attention: jolly <andreas(a)eversberg.eu>
Gerrit-Comment-Date: Tue, 25 Aug 2026 11:14:48 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes