5#ifndef BITCOIN_TEST_FUZZ_UTIL_REACHABILITY_H
6#define BITCOIN_TEST_FUZZ_UTIL_REACHABILITY_H
8#include <source_location>
22 std::source_location
location = std::source_location::current())
void ObserveReachabilityGoal(bool reached, const ReachabilityGoal &goal)
Record whether a registered goal is satisfied by at least one fuzz input.
void RegisterReachabilityGoal(const ReachabilityGoal &goal)
Register a goal before executing any fuzz inputs.
A reachability condition explicitly registered by a fuzz target.
std::source_location location
constexpr ReachabilityGoal(std::string_view message, std::source_location location=std::source_location::current())
constexpr auto Ticks(Dur2 d)
Helper to count the seconds of a duration/time_point.