Skip to content

Commit b7001f5

Browse files
rv-jenkinsrv-jenkins
authored
Update regression tests (#2871)
1 parent 3b17155 commit b7001f5

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+150144
-150144
lines changed

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

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

‎test/regression-evm/test-add0-tmp.in.4vIZXJB7fB renamed to ‎test/regression-evm/test-add0-tmp.in.Qu3i6WbOSa

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.4vIZXJB7fB "$@"
2+
${KORE_EXEC:?} test-add0-definition.kore --module ETHEREUM-SIMULATION --pattern test-add0-tmp.in.Qu3i6WbOSa "$@"

‎test/regression-evm/test-addu48u48-vdefinition.kore

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

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

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

‎test/regression-evm/test-and0-tmp.in.G4sAroE2bh renamed to ‎test/regression-evm/test-and0-tmp.in.6Psd1VL2zf

File renamed without changes.

‎test/regression-evm/test-and0.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-and0-definition.kore --module ETHEREUM-SIMULATION --pattern test-and0-tmp.in.G4sAroE2bh "$@"
2+
${KORE_EXEC:?} test-and0-definition.kore --module ETHEREUM-SIMULATION --pattern test-and0-tmp.in.6Psd1VL2zf "$@"

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

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

‎test/regression-evm/test-branching-invalid-tmp.in.DvbLsJsJbb renamed to ‎test/regression-evm/test-branching-invalid-tmp.in.qYUUQOY4i6

File renamed without changes.

‎test/regression-evm/test-branching-invalid-tmp.pattern.yt9BMYnWxF renamed to ‎test/regression-evm/test-branching-invalid-tmp.pattern.mJgXmabpAR

File renamed without changes.

0 commit comments

Comments
 (0)