Module puffin::fuzzer::mutations::util

source ·

Structs

TermConstraints

Traits

Choosable

Functions

choose
choose_iter
choose_term
choose_term_filtered_mut
choose_term_mut
choose_term_path
choose_term_path_filtered
find_term_by_term_path_mut 🔒
find_term_mut
reservoir_sample 🔒
https://en.wikipedia.org/wiki/Reservoir_sampling#Simple_algorithm

Type Definitions

StepIndex
TermPath
TracePath