pub fn _seed_client_attacker_full(
server: AgentName,
) -> (Trace<TLSProtocolTypes>, Term<TLSProtocolTypes>, Term<TLSProtocolTypes>, Term<TLSProtocolTypes>)Expand description
Seed which contains the whole transcript in the tree. This is rather huge >300 symbols