ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
Loading...
Searching...
No Matches
Public Attributes | List of all members
ravel::FaultSpec Struct Reference

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).
 

Detailed Description

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.

Member Data Documentation

◆ allow_reorder

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.


The documentation for this struct was generated from the following file: