Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
fuzzer_comparison_helper.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include <vector>
4
5
#include "
barretenberg/vm2/common/avm_io.hpp
"
6
7
using namespace
bb::avm2
;
8
9
// Compare CallStackMetadata ignoring halting_message (recursive for nested calls)
10
bool
compare_call_stack_metadata
(
const
CallStackMetadata
&
a
,
const
CallStackMetadata
&
b
);
11
12
// Compare vectors of CallStackMetadata ignoring halting_message
13
bool
compare_call_stack_metadata_vec
(
const
std::vector<CallStackMetadata>
&
a
,
const
std::vector<CallStackMetadata>
&
b
);
14
15
// Compare TxSimulationResult objects and report mismatches
16
// Ignores halting_message in call_stack_metadata
17
// Returns true if all results match, false otherwise
18
bool
compare_cpp_simulator_results
(
const
std::vector<TxSimulationResult>
& results);
avm_io.hpp
a
FF a
Definition
field_gt.test.cpp:52
b
FF b
Definition
field_gt.test.cpp:53
compare_call_stack_metadata_vec
bool compare_call_stack_metadata_vec(const std::vector< CallStackMetadata > &a, const std::vector< CallStackMetadata > &b)
Definition
fuzzer_comparison_helper.cpp:33
compare_call_stack_metadata
bool compare_call_stack_metadata(const CallStackMetadata &a, const CallStackMetadata &b)
Definition
fuzzer_comparison_helper.cpp:13
compare_cpp_simulator_results
bool compare_cpp_simulator_results(const std::vector< TxSimulationResult > &results)
Definition
fuzzer_comparison_helper.cpp:46
bb::avm2
Definition
dbs.cpp:19
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition
tuple.hpp:13
bb::avm2::CallStackMetadata
Definition
avm_io.hpp:503
src
barretenberg
avm_fuzzer
fuzzer_comparison_helper.hpp
Generated by
1.9.8