Capture and verify function input parameters to validate that the resulting end state is as expected.
getCallInputs(address aa, bytes4 signature)
forkPreState()
forkPostState()
getCallInputs()
to retrieve call data for target functionabi.decode()
to reconstruct function argumentsforkPreState()
and forkPostState()
to compare states