_seed_client_attacker_full_precomputation

tlspuffin::tls::seeds

Function _seed_client_attacker_full_precomputation 

Source 
pub fn _seed_client_attacker_full_precomputation(
    server: AgentName,
) -> (Trace<TLSProtocolTypes>, Term<TLSProtocolTypes>, Term<TLSProtocolTypes>, Term<TLSProtocolTypes>)