Remove EOF from soltest flags

Author: matheusaaguiar

.circleci/soltest_all.sh

@@ -40,7 +40,8 @@ IFS=" " read -ra EVM_VALUES <<< "${1:-${DEFAULT_EVM_VALUES[@]}}"
 
 DEFAULT_EVM=prague
 OPTIMIZE_VALUES=(0 1)
-EOF_VERSIONS=(0 1)
+# TODO: EOF is marked as experimental in evmone. Reenable when proper handling for that is added here.
+EOF_VERSIONS=(0)
 
 # Run for ABI encoder v1, without SMTChecker tests.
 EVM="${DEFAULT_EVM}" \