Closed 0xRigel closed 2 months ago
Based on Certora's preliminary findings, this fixes comments in the following files:
transaction_buffer_close.rs
spending_limit.rs
Based on Certora's preliminary findings, this fixes comments in the following files:
transaction_buffer_close.rsspending_limit.rs