debugger.hpp

Go to the documentation of this file.

#pragma once
 
#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