val prefix : Prims.string
let prefix = "Test.Handshake"
module MiTLS.Test.Handshake
open MiTLS
// adapted from test/TestHandshake

open FStar.Bytes // for @|
open FStar.Error
open FStar.Printf
open MiTLS.TLSError
open MiTLS.TLSConstants
open MiTLS.TLSInfo
open MiTLS.Range
open MiTLS.HandshakeMessages
open MiTLS.HandshakeLog
open MiTLS.Negotiation
open FStar.HyperStack
open FStar.HyperStack.ST

module StAE = MiTLS.StAE
module Range = MiTLS.Range
module Handshake = MiTLS.Old.Handshake
module PKI = MiTLS.PKI

#set-options "--admit_smt_queries true"
/
prims.fst.checked MiTLS.TLSInfo.fst.checked MiTLS.TLSError.fst.checked MiTLS.TLSConstants.fsti.checked MiTLS.Test.StAE.fst.checked MiTLS.StAE.fst.checked MiTLS.Range.fst.checked MiTLS.PKI.fsti.checked MiTLS.Old.Handshake.fsti.checked MiTLS.Negotiation.fst.checked MiTLS.HandshakeMessages.fsti.checked MiTLS.HandshakeLog.fsti.checked FStar.UInt32.fsti.checked FStar.Printf.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.IO.fst.checked FStar.HyperStack.ST.fsti.checked FStar.HyperStack.fst.checked FStar.Error.fst.checked FStar.Bytes.fsti.checked C.fst.checked
MiTLS.Test.Handshake.fst
Prims.string
let prefix =
  
"Test.Handshake"