From 2ad13e71e79511b02ba9580f4bb53cf4aa3e243d 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 765680157..8ef249b92 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -1048,6 +1048,7 @@ jobs:
     environment:
       CMAKE_OPTIONS: -DUSE_CVC4=OFF
       EVM: "shanghai"
+      SOLTEST_FLAGS: "--eof-version 1"
     parallelism: 50
     steps:
       - run: