Modules§
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