Skip to content

Commit 571268d

Browse files
emarzionemarzion
committed
updating regression tests
1 parent 77b99da commit 571268d

7 files changed

+239491
-103446
lines changed

‎test/regression-evm-semantics-39dd1e5/test-add0-definition.kore

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

‎test/regression-evm-semantics-39dd1e5/test-branching-invalid-definition.kore

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

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

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

‎test/regression-evm-semantics-39dd1e5/test-pop1-definition.kore

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

‎test/regression-evm-semantics-39dd1e5/test-straight-line-definition.kore

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

‎test/regression-evm-semantics-39dd1e5/test-straight-line-no-invalid-definition.kore

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

‎test/regression-evm-semantics-39dd1e5/test-sumTo10-definition.kore

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

0 commit comments

Comments
 (0)