shrink.hpp

#pragma once
 
#include <cstdint>
#include <iosfwd>
#include <string>
#include <vector>
 
#include "ravel/simulation.hpp"
 
namespace ravel {
 
using Choices = std::vector<VirtualRng::Choice>;
 
Result replay(const SimulationSetup& setup, const Choices& choices,
              const SimulationOptions& options = {});
 
void write_choices(std::ostream& out, const Choices& choices);
 
Choices read_choices(std::istream& in);
 
struct ShrinkOptions {
  std::uint64_t max_attempts = 20'000;
 
  unsigned threads = 0;
 
  SimulationOptions simulation;
};
 
struct ShrinkResult {
  Result original;             
  Choices original_choices;    
  Result minimal;              
  Choices choices;             
  std::string choices_path;    
  std::uint64_t attempts = 0;  
  bool budget_exhausted = false;  
};
 
ShrinkResult shrink(const SimulationSetup& setup, std::uint64_t seed,
                    const ShrinkOptions& options = {});
 
}  // namespace ravel