Move, Movelang, Move Prover, Formal Verification, Quality Assurance.
address. These expected behaviors are captured by the following specification: spec update_recurring_lockup_duration_secs( aptos_framework: &signer, new_recurring_lockup_duration_secs: u64 ){ aborts_if signer::address_of(aptos_framework) != @aptos_framework; aborts_if