Barretenberg: src/barretenberg/avm_fuzzer/mutations/instructions/instruction.hpp Source File

#pragma once


#include <random>

#include <vector>


#include "barretenberg/avm_fuzzer/fuzz_lib/fuzzer_context.hpp"

#include "barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp"

#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"


namespace bb::avm2::fuzzer {


std::vector<FuzzInstruction> generate_instruction(std::mt19937_64& rng, const FuzzerContext& context);

void mutate_instruction(FuzzInstruction& instruction, std::mt19937_64& rng, const FuzzerContext& context);


} // namespace bb::avm2::fuzzer

FuzzInstruction
::FuzzInstruction FuzzInstruction
Definition avm_differential.fuzzer.cpp:17

bb::avm2::fuzzer::FuzzerContext
Definition fuzzer_context.hpp:15

configuration.hpp

instruction.hpp

fuzzer_context.hpp

instruction
Instruction instruction
Definition gas_tracker.test.cpp:33

bb::avm2::fuzzer
Definition dbs.cpp:19

bb::avm2::fuzzer::mutate_instruction
void mutate_instruction(FuzzInstruction &instruction, std::mt19937_64 &rng, const FuzzerContext &context)
Definition instruction.cpp:1360

bb::avm2::fuzzer::generate_instruction
std::vector< FuzzInstruction > generate_instruction(std::mt19937_64 &rng, const FuzzerContext &context)
Generate one instruction and optionally backfill.
Definition instruction.cpp:537

std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13