What shrink() found. More...
#include <shrink.hpp>
Collaboration diagram for ravel::ShrinkResult:
Public Attributes | |
| Result | original |
| The seed's own run. | |
| Choices | original_choices |
| Its recorded choices. | |
| Result | minimal |
| The smallest failing run found. | |
| Choices | choices |
Replay these to reproduce minimal. | |
| std::string | choices_path |
Where choices was saved; empty if not. | |
| std::uint64_t | attempts = 0 |
| Replays spent shrinking. | |
| bool | budget_exhausted = false |
| Stopped by max_attempts, not by finishing. | |
Detailed Description
What shrink() found.
The documentation for this struct was generated from the following file:
- include/ravel/shrink.hpp
