Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/diem/move
/ clone
Method
clone
language/move-prover/bytecode/src/annotations.rs:40–45 ·
view source on GitHub ↗
(&self)
Source
from the content-addressed store, hash-verified
38
39
impl Clone for Data {
40
fn clone(&self) -> Self {
41
Self {
42
value: (self.clone_fun)(&self.value),
43
clone_fun: self.clone_fun.clone(),
44
}
45
}
46
}
47
48
impl Debug for Annotations {
Callers
15
build_error_map_for_module
Method · 0.45
trim_aborts_ifs
Function · 0.45
remove_first_aborts_if_since
Function · 0.45
remove_first_aborts_if_and_prove_since
Function · 0.45
run
Function · 0.45
get_prover_options
Function · 0.45
get_model_options
Function · 0.45
get_cli_options
Function · 0.45
run_benchmark
Function · 0.45
bench_function
Method · 0.45
bench_module
Method · 0.45
compute_instantiation_times
Function · 0.45
Calls
no outgoing calls
Tested by
15
process
Method · 0.36
run
Method · 0.36
instrument
Method · 0.36
instrument_bytecode
Method · 0.36
instrument_call
Method · 0.36
emit_updates
Method · 0.36
emit_lets
Method · 0.36
emit_traces
Method · 0.36
generate_abort_opaque_cond
Method · 0.36
generate_return_block
Method · 0.36
generate_modifies_check
Method · 0.36
process
Method · 0.36