MCPcopy 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
39impl 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
48impl Debug for Annotations {

Callers 15

trim_aborts_ifsFunction · 0.45
runFunction · 0.45
get_prover_optionsFunction · 0.45
get_model_optionsFunction · 0.45
get_cli_optionsFunction · 0.45
run_benchmarkFunction · 0.45
bench_functionMethod · 0.45
bench_moduleMethod · 0.45

Calls

no outgoing calls

Tested by 15

processMethod · 0.36
runMethod · 0.36
instrumentMethod · 0.36
instrument_bytecodeMethod · 0.36
instrument_callMethod · 0.36
emit_updatesMethod · 0.36
emit_letsMethod · 0.36
emit_tracesMethod · 0.36
generate_return_blockMethod · 0.36
processMethod · 0.36