WIP: generate evm tests

Author: ana-pantilie

scripts/generate-regression-tests.sh

@@ -0,0 +1,61 @@
+#!/usr/bin/env bash
+
+
+set -exuo pipefail
+
+kollect() {
+    local name="$1"
+    shift
+    echo '#!/bin/sh' > "$name.sh"
+    # TODO Mircea: change debug to save-temps after the evm-semantics repo is updated to use the latest backend
+    "$@" --save-temps --dry-run | xargs $KORE/scripts/kollect.sh "$name" >> "$name.sh"
+    chmod +x "$name.sh"
+}
+
+generate-evm() {
+    # git clone [email protected]:kframework/evm-semantics.git
+    # cd evm-semantics
+    # local evm_commit=$(git rev-parse --short HEAD)
+    # git submodule update --init --recursive
+    # make plugin-deps
+    # make build-haskell
+    # export PATH=$(pwd)/.build/usr/bin:$PATH
+    # 
+    # kollect test-pop1 env MODE=VMTESTS SCHEDULE=DEFAULT \
+    #     kevm run --backend haskell \
+    #         tests/ethereum-tests/VMTests/vmIOandFlowOperations/pop1.json
+    # 
+    # kollect test-add0 env MODE=VMTESTS SCHEDULE=DEFAULT \
+    #     kevm run --backend haskell \
+    #         tests/ethereum-tests/VMTests/vmArithmeticTest/add0.json \
+    # 
+    # kollect test-sumTo10 env MODE=VMTESTS SCHEDULE=DEFAULT \
+    #     kevm run --backend haskell \
+    #         tests/interactive/sumTo10.evm \
+    # 
+    # for search in \
+    #     branching-no-invalid straight-line-no-invalid \
+    #     branching-invalid straight-line
+    # do
+    #     kollect "test-$search" \
+    #         kevm search --backend haskell \
+    #             "tests/interactive/search/$search.evm" \
+    #             "<statusCode> EVMC_INVALID_INSTRUCTION </statusCode>"
+    # done
+    #         
+    # kollect test-sum-to-n \
+    #     kevm prove --backend haskell \
+    #         tests/specs/examples/sum-to-n-spec.k \
+    #         VERIFICATION --format-failures
+
+    cd evm-semantics
+    testdir=$KORE/tests/regression-evm-*
+    tests=test-*
+    rm -r $testdir
+    mkdir $KORE/tests/regression-evm-$evm_commit
+    mv $tests $KORE/tests/regression-evm-$evm_commit
+
+}
+
+cd $KORE
+generate-evm