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

What check_determinism runs over. More...

#include <determinism.hpp>

Collaboration diagram for ravel::DeterminismOptions:
Collaboration graph
[legend]

Public Attributes

std::uint64_t first_seed = 0
 The first seed to check.
 
std::uint64_t seed_count = 100
 How many seeds to check, starting at first_seed.
 
unsigned threads = 0
 Worker threads; 0 means one per hardware thread.
 
SimulationOptions simulation
 Applied to every run.
 

Detailed Description

What check_determinism runs over.

Member Data Documentation

◆ threads

unsigned ravel::DeterminismOptions::threads = 0

Worker threads; 0 means one per hardware thread.

As with run_seeds, the setup then runs on several threads at once.


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