FinalizeWithRevert Struct Reference

finalizes the current block with Revert and switches to the first non-terminated block More...

#include <control_flow.hpp>

Public Member Functions
	SERIALIZATION_FIELDS (revert_options)

Public Attributes
ReturnOptions	revert_options

Detailed Description

finalizes the current block with Revert and switches to the first non-terminated block

Definition at line 71 of file control_flow.hpp.

Member Function Documentation

SERIALIZATION_FIELDS()

FinalizeWithRevert::SERIALIZATION_FIELDS

(

revert_options

)

Member Data Documentation

revert_options

ReturnOptions FinalizeWithRevert::revert_options

Definition at line 72 of file control_flow.hpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/avm_fuzzer/fuzz_lib/control_flow.hpp