OCTETSTRINGfx__enc__PullRequest__1(consthttp__www__cise__eu__servicemodel__v1__message::PullRequest&p){// FIXME Use enc/dec TITAN function external function f_enc_value(in Value x) return bitstring with { extension "prototype(convert) encode(abc)" }
INTEGERfx__dec__PullRequest__1(BITSTRING&b,http__www__cise__eu__servicemodel__v1__message::PullRequest&p){// FIXME Use enc/dec TITAN function external function f_enc_value(in Value x) return bitstring with { extension "prototype(convert) encode(abc)" }
# In this section you can specify what parts of your test suite you want to execute.
#AtsCise_TestControl.control
# Check that the IUT responds with an HTPP 200 OK Acknowledgment response when receiving a PullRequest from a known peer with a list of vessels in specified basin - no Acknowledgment required
AtsCise_TestCases.TC_CDM_NODE_PULL_REQUEST_BV_01
# Check that the IUT responds with an HTPP 200 OK Acknowledgment response when receiving a PullRequest for vessels with discovery based on sea basin - no Acknowledgment required