Ensure protocol behaves correctly during emergency pause states
ph.forkPreState()
/ ph.forkPostState()
: Capture protocol state before and after transactiongetStateChangesUint()
: Track all state changes during transactionregisterCallTrigger()
: Monitor all function calls to the contractNote: In the future, this assertion could be optimized with a new trigger type that only fires when a specific storage slot has a specific value (e.g., when the pause flag is true). This would reduce unnecessary assertion checks and improve efficiency.For more information about cheatcodes, see the Cheatcodes Documentation.
Note: Full examples with tests available in the Phylax Assertion Examples Repository.