Skip to content

Commit e0580ec

Browse files
rv-jenkinsrv-jenkins
authored
Update regression tests (#3176)
* Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests * Update regression tests
1 parent ac0e3c0 commit e0580ec

7 files changed

+6802
-5056
lines changed

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

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

‎test/regression-evm/test-dsvalue-peek-pass-rough-definition.kore‎

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

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

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

‎test/regression-evm/test-lemmas-spec.kore‎

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

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

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

‎test/regression-evm/test-sum-to-n-definition.kore‎

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

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

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

0 commit comments

Comments
 (0)