Tls

include network_implementation
include tls_msg

include quic_types

interpret cid -> longbv[1][1000][20] This file provides the interface to the test locale. This includes two services: TLS 1.3 and UDP.

object tls_api = {
    instance id : long_unbounded_sequence # unbounded_sequence #cid #
    instance lower : tls_lower_intf(id,stream_data)
    instance upper : tls_intf(id,stream_pos,stream_data,lower,tls_extensions,tls_hand_extensions,tls_ser,pkt_num)
}