FV-SOL-6-C5 Partial Execution with No Rollback
TLDR
When a function call fails mid-function, the contract may continue execution without rolling back previous changes, leading to partial, unintended state changes.
Game
Imagine a contract that performs a series of critical operations, one of which involves an external call to another contract. What is missing here?
PreviousFV-SOL-6-C4 False Positive Success AssumptionNextFV-SOL-6-C6 False Contract Existence Assumption
Last updated
Was this helpful?