formal verification

fix(utils/Create3): correct verb form in _computeCreateAddress NatSpec #10220

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
halmos	6m 52s
apply-diff	6s
verify	0s
	6m 58s