Traits§
- Provide a way to extract knowledge out of a Message/OpaqueMessage or any type that might be used in a precomputation
- A non-structured version of
ProtocolMessage. This can be used for example for encrypted messages which do not have a structure. - Store a flight of opaque messages, a vec of all the messages sent by the PUT between two steps
- Defines the protocol which is being tested.
- A structured message. This type defines how all possible messages of a protocol. Usually this is implemented using an
enum. - Deframes a stream of bytes into distinct OpaqueProtocolMessages. A deframer is usually state-ful. This means it produces as many messages from the input bytes and stores them.
- Store a message flight, a vec of all the messages sent by the PUT between two steps
- Defines the types used to manipulate and concretize Terms