runner.hpp

#pragma once
 
#include <cstdint>
#include <functional>
#include <optional>
#include <vector>
 
#include "ravel/shrink.hpp"
#include "ravel/simulation.hpp"
 
namespace ravel {
 
struct RunnerOptions {
  std::uint64_t first_seed = 0;
  std::uint64_t seed_count = 1000;
 
  unsigned threads = 0;
 
  bool stop_at_first_failure = false;
 
  bool shrink_first_failure = false;
  std::uint64_t max_shrink_attempts = ShrinkOptions{}.max_attempts;
 
  SimulationOptions simulation;  
};
 
struct RunnerReport {
  std::uint64_t seeds_run = 0;
 
  std::vector<Result> failures;  
 
  std::optional<ShrinkResult> shrunk;
 
  bool ok() const noexcept { return failures.empty(); }
};
 
RunnerReport run_seeds(const SimulationSetup& setup, const RunnerOptions& options = {});
 
}  // namespace ravel