Skip to content

Commit c45bfe1

Browse files
rv-jenkinsttuegel
rv-jenkins
and
ttuegel
authored
Update regression tests (#2559)
Co-authored-by: Thomas Tuegel <thomas.tuegel@runtimeverification.com>
1 parent 29126d9 commit c45bfe1

37 files changed

+43530
-43530
lines changed

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

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

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

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

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

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

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

File renamed without changes.

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

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.O67t8dnlFS --searchType FINAL --search test-branching-invalid-tmp.pattern.IyoKlCwA5J "$@"
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 "$@"

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

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

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

File renamed without changes.

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

File renamed without changes.

0 commit comments

Comments
 (0)