Update regression tests (#2863)

* Update regression tests

* Fix generate evm script; add regenerated tests

Co-authored-by: Ana Pantilie <[email protected]>

Author: rv-jenkins

scripts/generate-regression-tests.sh

@@ -27,8 +27,8 @@ build-evm() {
     cd evm-semantics
     git submodule update --init --recursive
     make plugin-deps
-    make build-haskell
     export PATH=$(pwd)/.build/usr/bin:$PATH
+    make build-haskell
 }
 
 build-wasm() {
@@ -58,7 +58,7 @@ generate-evm() {
 
     kollect-file test-pop1 "$testpop1.haskell-out" \
         make "$testpop1.run-interactive" -e
-    
+
     kollect-file test-add0 "$testadd0.haskell-out" \
         make "$testadd0.run-interactive" -e
 
@@ -67,7 +67,7 @@ generate-evm() {
 
     kollect-file test-and0 "$testand0.haskell-out" \
         make "$testand0.run-interactive" -e
-    
+
     kollect-file test-sha3_bigSize "$testsha3_bigSize.haskell-out" \
         make "$testsha3_bigSize.run-interactive" -e
 
@@ -87,7 +87,7 @@ generate-evm() {
 
     kollect test-lemmas \
         make tests/specs/functional/lemmas-spec.k.prove -s -e
-    
+
     kollect test-storagevar03 \
         make tests/specs/benchmarks/storagevar03-spec.k.prove -s -e
 

test/regression-evm/test-add0-definition.kore

@@ -1,2 +1,2 @@
 #!/bin/sh
-${KORE_EXEC:?} test-add0-definition.kore --module ETHEREUM-SIMULATION --pattern test-add0-tmp.in.w7vZUbii8S "$@"
+${KORE_EXEC:?} test-add0-definition.kore --module ETHEREUM-SIMULATION --pattern test-add0-tmp.in.4vIZXJB7fB "$@"

…gression-evm/test-add0-tmp.in.w7vZUbii8S …gression-evm/test-add0-tmp.in.4vIZXJB7fBtest/regression-evm/test-add0-tmp.in.w7vZUbii8S renamed to test/regression-evm/test-add0-tmp.in.4vIZXJB7fB test/regression-evm/test-add0-tmp.in.w7vZUbii8S renamed to test/regression-evm/test-add0-tmp.in.4vIZXJB7fB

@@ -1,2 +1,2 @@
 #!/bin/sh
-${KORE_EXEC:?} test-and0-definition.kore --module ETHEREUM-SIMULATION --pattern test-and0-tmp.in.gQSnNp0mKv "$@"
+${KORE_EXEC:?} test-and0-definition.kore --module ETHEREUM-SIMULATION --pattern test-and0-tmp.in.G4sAroE2bh "$@"