Defaults for the command line that run_sweep gives your test program. More...
#include <sweep.hpp>
Collaboration diagram for ravel::SweepDefaults:
Public Attributes | |
| std::uint64_t | seeds = 1000 |
| How many seeds to run when –seeds is not given. | |
| std::string | trace_dir = "ravel-traces" |
| Where failures leave their trace and reproducer. | |
| SimulationOptions | simulation |
| For example a time_limit. | |
Detailed Description
Defaults for the command line that run_sweep gives your test program.
Every one can be overridden by a flag (and the first two by an environment variable), so the same binary serves a quick local run, a thorough nightly one, and the replay of a saved failure.
The documentation for this struct was generated from the following file:
- include/ravel/sweep.hpp
