[DRAFT] No more isabelle ABI checking ossfuzz binary#16070

msooseth wants to merge 1 commit intoargotorg:developargotorg/solidity:developfrom

msooseth:no-more-isabelle-abi-encoding-ossfuzzmsooseth/solidity:no-more-isabelle-abi-encoding-ossfuzzCopy head branch name to clipboard