Add soltest eof flag

This commit is contained in:
Rodrigo Q. Saramago 2022-12-05 18:31:59 +01:00 committed by Daniel Kirchner
parent 9d9b90af2f
commit 82c383e7e9

View File

@ -1050,6 +1050,7 @@ jobs:
environment: environment:
CMAKE_OPTIONS: -DUSE_CVC4=OFF CMAKE_OPTIONS: -DUSE_CVC4=OFF
EVM: "shanghai" EVM: "shanghai"
SOLTEST_FLAGS: "--eof-version 1"
parallelism: 50 parallelism: 50
steps: steps:
- run: - run: