Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/diem/move
/ AbortAction
Class
AbortAction
language/move-prover/bytecode/src/stackless_bytecode.rs:320–320 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
318
/// jump.
319
#[derive(Debug, Clone, PartialEq, Eq)]
320
pub struct AbortAction(pub Label, pub TempIndex);
321
322
/// The stackless bytecode.
323
#[derive(Debug, Clone, PartialEq, Eq)]
Callers
3
instrument_bytecode
Method · 0.85
instrument_call
Method · 0.85
remap_vars_internal
Method · 0.85
Calls
no outgoing calls
Tested by
2
instrument_bytecode
Method · 0.68
instrument_call
Method · 0.68