Skip to content

Commit ee80293

Browse files
ana-pantilierv-jenkins
ana-pantilie
and
rv-jenkins
authored
Update regression tests (#2773)
* Update regression tests * Update regression tests * Update regression tests * Update regression tests Co-authored-by: RV Jenkins <[email protected]>
1 parent da2c7f8 commit ee80293

37 files changed

+75025
-62816
lines changed

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

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

‎test/regression-evm/test-add0-tmp.in.mEbuUJx6Wl renamed to ‎test/regression-evm/test-add0-tmp.in.BEQnmEBTaF

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

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

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

‎test/regression-evm/test-branching-invalid-tmp.in.7cf3srjbcr renamed to ‎test/regression-evm/test-branching-invalid-tmp.in.SbF1SnYogy

File renamed without changes.

‎test/regression-evm/test-branching-invalid-tmp.pattern.tZ7kesqBaw renamed to ‎test/regression-evm/test-branching-invalid-tmp.pattern.DqZIgnky7x

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.7cf3srjbcr --searchType FINAL --search test-branching-invalid-tmp.pattern.tZ7kesqBaw "$@"
2+
${KORE_EXEC:?} test-branching-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern test-branching-invalid-tmp.in.SbF1SnYogy --searchType FINAL --search test-branching-invalid-tmp.pattern.DqZIgnky7x "$@"

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

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

‎test/regression-evm/test-branching-no-invalid-tmp.in.rscfMYRvLY renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.in.pSNulVjGug

File renamed without changes.

‎test/regression-evm/test-branching-no-invalid-tmp.pattern.azNpCuI5ge renamed to ‎test/regression-evm/test-branching-no-invalid-tmp.pattern.tcSjgepTk5

File renamed without changes.

0 commit comments

Comments
 (0)