From ee06f818f21939fbe999e861c6e11cde6688d95f Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Mon, 5 Dec 2022 18:31:59 +0100
Subject: [PATCH] Add soltest eof flag

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f42a52b3f..cd12ba432 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1050,6 +1050,7 @@ jobs:
     environment:
       CMAKE_OPTIONS: -DUSE_CVC4=OFF
       EVM: "shanghai"
+      SOLTEST_FLAGS: "--eof-version 1"
     parallelism: 50
     steps:
       - run: