debugger.hpp

Go to the documentation of this file.

#pragma once
 
// For assert builds, we'll enable the debugger.
#ifndef NDEBUG
#define AVM_INCLUDE_DEBUGGER
#endif
 
#include <string>
#include <vector>
 
#include "barretenberg/vm2/tracegen/trace_container.hpp"
 
namespace bb::avm2 {
 
class InteractiveDebugger {
  public:
    InteractiveDebugger(tracegen::TraceContainer& trace)
        : trace(trace)
    {}
 
    void run(uint32_t starting_row = 0);
 
  private:
    tracegen::TraceContainer& trace;
    uint32_t row = 0;
    std::string prefix;
 
    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);
};
 
} // namespace bb::avm2