3#include <gtest/gtest.h>
9TEST(AvmWrittenSlotsTree, CorrectRoot)
#define AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_ROOT
#define AVM_WRITTEN_PUBLIC_DATA_SLOTS_TREE_INITIAL_SIZE
AppendOnlyTreeSnapshot get_snapshot() const
AVM range check gadget for witness generation.
WrittenPublicDataSlotsTree build_public_data_slots_tree()
TEST(BoomerangMegaCircuitBuilder, BasicCircuit)