ravel/sweep_8hpp_source.html

#pragma once


#include <cstdint>

#include <iosfwd>

#include <string>

#include <vector>


#include "ravel/simulation.hpp"


namespace ravel {


struct SweepDefaults {

  std::uint64_t seeds = 1000;

  std::string trace_dir = "ravel-traces";

  SimulationOptions simulation;

};


int run_sweep(std::ostream& out, const std::vector<std::string>& args,

              const SimulationSetup& setup, const SweepDefaults& defaults = {},

              const std::string& program = "test");


int run_sweep_main(int argc, char** argv, const SimulationSetup& setup,

                   const SweepDefaults& defaults = {});


}  // namespace ravel

ravel::SimulationOptions
Options for one run. Every field has a sensible default.
Definition simulation.hpp:36

ravel::SweepDefaults
Defaults for the command line that run_sweep gives your test program.
Definition sweep.hpp:16

ravel::SweepDefaults::trace_dir
std::string trace_dir
Where failures leave their trace and reproducer.
Definition sweep.hpp:19

ravel::SweepDefaults::seeds
std::uint64_t seeds
How many seeds to run when –seeds is not given.
Definition sweep.hpp:18

ravel::SweepDefaults::simulation
SimulationOptions simulation
For example a time_limit.
Definition sweep.hpp:20