bb::avm2::InteractiveDebugger Class Reference

#include <debugger.hpp>

Public Member Functions
	InteractiveDebugger (tracegen::TraceContainer &trace)
void	run (uint32_t starting_row=0)

Private Member Functions
void	print_columns (const std::vector< std::string > &regex)
void	set_column (const std::string &column_name, const std::string &value)
void	test_relation (const std::string &relation_name, std::optional< std::string > subrelation_name)

Private Attributes
tracegen::TraceContainer &	trace
uint32_t	row = 0
std::string	prefix

Detailed Description

An interactive debugger for the AVM2.

(1) To use it in tests add the following after you construct the trace:

auto container = TestTraceContainer::from_rows(trace); InteractiveDebugger debugger(container); debugger.run();

(2) To use it to debug avm2_check_circuit failures just set the AVM_DEBUG environment variable.

Definition at line 21 of file debugger.hpp.

Constructor & Destructor Documentation

InteractiveDebugger()

bb::avm2::InteractiveDebugger::InteractiveDebugger ( tracegen::TraceContainer &  trace )

inline

Definition at line 23 of file debugger.hpp.

Member Function Documentation

print_columns()

void bb::avm2::InteractiveDebugger::print_columns ( const std::vector< std::string > &  regex )

private

Definition at line 130 of file debugger.cpp.

run()

void bb::avm2::InteractiveDebugger::run

(

uint32_t

starting_row = 0

)

Definition at line 76 of file debugger.cpp.

set_column()

void bb::avm2::InteractiveDebugger::set_column ( const std::string &  column_name, const std::string &  value  )

private

Definition at line 163 of file debugger.cpp.

test_relation()

void bb::avm2::InteractiveDebugger::test_relation ( const std::string &  relation_name, std::optional< std::string >  subrelation_name  )

private

Definition at line 177 of file debugger.cpp.

Member Data Documentation

prefix

std::string bb::avm2::InteractiveDebugger::prefix

private

Definition at line 32 of file debugger.hpp.

row

uint32_t bb::avm2::InteractiveDebugger::row = 0

private

Definition at line 31 of file debugger.hpp.

trace

tracegen::TraceContainer& bb::avm2::InteractiveDebugger::trace

private

Definition at line 30 of file debugger.hpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/vm2/tooling/debugger.hpp
• src/barretenberg/vm2/tooling/debugger.cpp