Add soltest eof flag

This commit is contained in:
Rodrigo Q. Saramago authored and Daniel Kirchner committed 2023-01-05 20:05:11 +01:00
1 parent b2a6b98cf7
commit 2ad13e71e7
1 file changed
+1
+1
View File
@@ -1048,6 +1048,7 @@ jobs:
environment:
CMAKE_OPTIONS: -DUSE_CVC4=OFF
EVM: "shanghai"
SOLTEST_FLAGS: "--eof-version 1"
parallelism: 50
steps:
- run: