reachability.cpp File Reference

#include <sync.h>
#include <test/fuzz/util/reachability.h>
#include <util/check.h>
#include <compare>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
#include <iostream>
#include <map>
#include <string>
#include <string_view>

Include dependency graph for reachability.cpp:

Go to the source code of this file.

Functions
void	RegisterReachabilityGoal (const ReachabilityGoal &goal)
	Register a goal before executing any fuzz inputs.
void	ObserveReachabilityGoal (bool reached, const ReachabilityGoal &goal)
	Record whether a registered goal is satisfied by at least one fuzz input.

Function Documentation

ObserveReachabilityGoal()

void ObserveReachabilityGoal	(	bool	reached,
		const ReachabilityGoal &	goal
	)

Record whether a registered goal is satisfied by at least one fuzz input.

Definition at line 103 of file reachability.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

RegisterReachabilityGoal()

void RegisterReachabilityGoal

(

const ReachabilityGoal &

goal

)

Register a goal before executing any fuzz inputs.

Definition at line 98 of file reachability.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: