formal verification

Add an AbiDecode library for safe abi decoding (no revert) #9826

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
apply-diff	6s
halmos	6m 48s
verify	0s
	6m 54s