|
ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
|
This is the complete list of members for ravel::Channel, including all inherited members.
| Channel(ChannelId id, std::string from, std::string to, FaultSpec fault, Scheduler &scheduler, VirtualRng &rng, Trace &trace) | ravel::Channel | |
| Channel(const Channel &)=delete | ravel::Channel | |
| clear_inbox() | ravel::Channel | inline |
| fault() const noexcept | ravel::Channel | inline |
| from() const noexcept | ravel::Channel | inline |
| operator=(const Channel &)=delete (defined in ravel::Channel) | ravel::Channel | |
| receive() noexcept | ravel::Channel | inline |
| receive_within(VirtualClock::Tick timeout) noexcept | ravel::Channel | inline |
| send(Message message) | ravel::Channel | |
| to() const noexcept | ravel::Channel | inline |