solc version: 0.8.25-seqbench.2024.2.14+commit.a2cabcb9.mod.Linux.g++
soltest-input
:
solc version: 0.8.25-seqbench.2024.2.14+commit.a2cabcb9.mod.Linux.g++
soltest-input
:
solc version: 0.8.25-seqbench.2024.2.14+commit.a2cabcb9.mod.Linux.g++
soltest-input
:
0.8.26-seqbench.2024.4.18+commit.55cb7a7d.mod.Linux.g++
cancun
# Sequence constructed of only those parts of the default sequence that seem to improve metrics on test input.
# Second refinement, adjusted to improve results for the erc20.sol contract.
0.8.26-seqbench.2024.4.18+commit.55cb7a7d.mod.Linux.g++
cancun
soltest
calls:
0.8.26-seqbench.2024.4.18+commit.55cb7a7d.mod.Linux.g++
cancun
soltest
calls:
0.8.26-seqbench.2024.4.18+commit.55cb7a7d.mod.Linux.g++
cancun
soltest
calls:
0.8.26-seqbench.2024.4.18+commit.55cb7a7d.mod.Linux.g++
cancun
soltest
calls:
0.8.26-seqbench.2024.4.18+commit.55cb7a7d.mod.Linux.g++
cancun
soltest
calls: