Skip to content

Commit d8aa42d

Browse files
rv-jenkinsrv-jenkins
authored
Update regression tests (#2790)
* Update regression tests * Update regression tests * Update regression tests
1 parent 91dba78 commit d8aa42d

33 files changed

+9794
-9178
lines changed

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

Lines changed: 488 additions & 488 deletions
Large diffs are not rendered by default.

‎test/regression-evm/test-add0-tmp.in.etaKYCAt71‎ renamed to ‎test/regression-evm/test-add0-tmp.in.beeOzZ9qXF‎

File renamed without changes.

‎test/regression-evm/test-add0.sh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
#!/bin/sh
2-
${KORE_EXEC:?} test-add0-definition.kore --module ETHEREUM-SIMULATION --pattern test-add0-tmp.in.etaKYCAt71 "$@"
2+
${KORE_EXEC:?} test-add0-definition.kore --module ETHEREUM-SIMULATION --pattern test-add0-tmp.in.beeOzZ9qXF "$@"

‎test/regression-evm/test-branching-invalid-definition.kore‎

Lines changed: 488 additions & 488 deletions
Large diffs are not rendered by default.

‎test/regression-evm/test-branching-invalid-tmp.in.chqs96eBy6‎ renamed to ‎test/regression-evm/test-branching-invalid-tmp.in.paG6pOMk45‎

File renamed without changes.

‎test/regression-evm/test-branching-invalid-tmp.pattern.EqK5SqQrnN‎ renamed to ‎test/regression-evm/test-branching-invalid-tmp.pattern.VzxmXwWiTZ‎

File renamed without changes.

‎test/regression-evm/test-branching-invalid.sh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
#!/bin/sh
2-
${KORE_EXEC:?} test-branching-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern test-branching-invalid-tmp.in.chqs96eBy6 --searchType FINAL --search test-branching-invalid-tmp.pattern.EqK5SqQrnN "$@"
2+
${KORE_EXEC:?} test-branching-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern test-branching-invalid-tmp.in.paG6pOMk45 --searchType FINAL --search test-branching-invalid-tmp.pattern.VzxmXwWiTZ "$@"

‎test/regression-evm/test-branching-no-invalid-definition.kore‎

Lines changed: 488 additions & 488 deletions
Large diffs are not rendered by default.

‎test/regression-evm/test-branching-no-invalid-tmp.in.kdv9ieRGDb‎ renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.in.b52eW4dCWT‎

File renamed without changes.

‎test/regression-evm/test-branching-no-invalid-tmp.pattern.OslzoZ2LF7‎ renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.pattern.Iz1Fxr9ORb‎

File renamed without changes.

0 commit comments

Comments
 (0)