Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment() at SMTEncoder.cpp.

Published Jun 22, 2022 · Updated Aug 3, 2024 · Assigned by mitre