Module common
openvm_
continuations
1.0.0-rc.2
Module common
Module Items
Modules
Functions
In openvm_
continuations::
verifier
Modules
common
internal
leaf
root
utils
openvm_continuations
::
verifier
Module
common
Copy item path
Settings
Help
Summary
Source
Modules
§
non_
leaf
types
Functions
§
assert_
or_
assign_
app_
and_
leaf_
commit_
pvs
assert_
or_
assign_
connector_
pvs
assert_
or_
assign_
memory_
pvs
assert_
required_
air_
for_
agg_
vm_
present
assert_
required_
air_
for_
app_
vm_
present
assert_
single_
segment_
vm_
exit_
successfully
Asserts that a single segment VM exits successfully.
assert_
single_
segment_
vm_
exit_
successfully_
with_
connector_
air_
id
get_
connector_
pvs
get_
memory_
pvs
get_
program_
commit