How run_seeds runs. More...
#include <runner.hpp>
Collaboration diagram for ravel::RunnerOptions:
Public Attributes | |
| std::uint64_t | first_seed = 0 |
| The first seed to run. | |
| std::uint64_t | seed_count = 1000 |
| How many seeds to run, starting at first_seed. | |
| unsigned | threads = 0 |
| Worker threads; 0 means one per hardware thread. | |
| bool | stop_at_first_failure = false |
| Report only the lowest failing seed and skip seeds beyond it. | |
| bool | shrink_first_failure = false |
| Shrink the lowest failing seed once the sweep is done (see shrink()). | |
| std::uint64_t | max_shrink_attempts = ShrinkOptions{}.max_attempts |
| Replay budget for shrinking; see ShrinkOptions::max_attempts. | |
| SimulationOptions | simulation |
| Applied to every run. | |
Detailed Description
How run_seeds runs.
Member Data Documentation
◆ threads
| unsigned ravel::RunnerOptions::threads = 0 |
Worker threads; 0 means one per hardware thread.
The report does not depend on this number.
The documentation for this struct was generated from the following file:
- include/ravel/runner.hpp
