|
ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
|
Injectable fault behavior for a Channel. More...
#include <network.hpp>
Public Attributes | |
| double | loss_probability = 0.0 |
| In [0, 1]: chance that a message is dropped. | |
| VirtualClock::Tick | latency_min = 0 |
| The lower end of the delay range: a delivered message takes at least this many ticks. | |
| VirtualClock::Tick | latency_max = 0 |
| Delay is uniform in [min, max]. | |
| bool | allow_reorder = false |
| Off: messages arrive in the order they were sent (delays are raised so none overtakes an earlier one). | |
Injectable fault behavior for a Channel.
Every decision (drop? how much latency?) is drawn from the Simulation's VirtualRng, so it replays identically for a given seed.
| bool ravel::FaultSpec::allow_reorder = false |
Off: messages arrive in the order they were sent (delays are raised so none overtakes an earlier one).
On: a message with a short delay may overtake an earlier one with a long delay.