Skip to content

Commit 10509b3

Browse files
emarzionemarzion
committed
updating regression tests
1 parent 77b99da commit 10509b3

15 files changed

+239498
-103454
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-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-pgm.kore "$@"
2+
$KORE_EXEC test-add0-definition.kore --module ETHEREUM-SIMULATION --pattern /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-18-43-622-91be09d7-733c-453a-b7bd-b63d3aac9003/execute-initial.kore /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-18-43-622-91be09d7-733c-453a-b7bd-b63d3aac9003/execute-result.kore "$@"

‎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-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-pgm.kore --searchType FINAL --search test-branching-invalid-pattern.kore "$@"
2+
$KORE_EXEC test-branching-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-20-15-899-c920087f-8703-4d81-8d45-6059bbd32992/search-initial.kore /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-20-15-899-c920087f-8703-4d81-8d45-6059bbd32992/search-result.kore --searchType FINAL --search /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-20-15-899-c920087f-8703-4d81-8d45-6059bbd32992/search-pattern.kore "$@"

‎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-branching-no-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-no-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern test-branching-no-invalid-pgm.kore --searchType FINAL --search test-branching-no-invalid-pattern.kore "$@"
2+
$KORE_EXEC test-branching-no-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-19-16-909-a1e6b3ba-1634-4e63-9c24-7c9c75361fd9/search-initial.kore /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-19-16-909-a1e6b3ba-1634-4e63-9c24-7c9c75361fd9/search-result.kore --searchType FINAL --search /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-19-16-909-a1e6b3ba-1634-4e63-9c24-7c9c75361fd9/search-pattern.kore "$@"

‎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-pop1.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-pop1-definition.kore --module ETHEREUM-SIMULATION --pattern test-pop1-pgm.kore "$@"
2+
$KORE_EXEC test-pop1-definition.kore --module ETHEREUM-SIMULATION --pattern /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-18-26-608-4c0d427b-f0d7-4366-a3b1-2e090a0a3558/execute-initial.kore /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-18-26-608-4c0d427b-f0d7-4366-a3b1-2e090a0a3558/execute-result.kore "$@"

‎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-straight-line-no-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-straight-line-no-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern test-straight-line-no-invalid-pgm.kore --searchType FINAL --search test-straight-line-no-invalid-pattern.kore "$@"
2+
$KORE_EXEC test-straight-line-no-invalid-definition.kore --module ETHEREUM-SIMULATION --pattern /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-19-46-631-0442ef8a-19d3-4efe-a564-0f6672f5aa5a/search-initial.kore /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-19-46-631-0442ef8a-19d3-4efe-a564-0f6672f5aa5a/search-result.kore --searchType FINAL --search /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-19-46-631-0442ef8a-19d3-4efe-a564-0f6672f5aa5a/search-pattern.kore "$@"

‎test/regression-evm-semantics-39dd1e5/test-straight-line.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-straight-line-definition.kore --module ETHEREUM-SIMULATION --pattern test-straight-line-pgm.kore --searchType FINAL --search test-straight-line-pattern.kore "$@"
2+
$KORE_EXEC test-straight-line-definition.kore --module ETHEREUM-SIMULATION --pattern /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-20-44-810-015e7d68-9798-4a6e-b452-753fc0946999/search-initial.kore /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-20-44-810-015e7d68-9798-4a6e-b452-753fc0946999/search-result.kore --searchType FINAL --search /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-20-44-810-015e7d68-9798-4a6e-b452-753fc0946999/search-pattern.kore "$@"

‎test/regression-evm-semantics-39dd1e5/test-sum-to-n.sh

100755100644
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1 @@
11
#!/bin/sh
2-
$KORE_EXEC test-sum-to-n-vdefinition.kore --module VERIFICATION --prove test-sum-to-n-spec.kore --spec-module SUM-TO-N-SPEC "$@"

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

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

‎test/regression-evm-semantics-39dd1e5/test-sumTo10.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-sumTo10-definition.kore --module ETHEREUM-SIMULATION --pattern test-sumTo10-pgm.kore "$@"
2+
$KORE_EXEC test-sumTo10-definition.kore --module ETHEREUM-SIMULATION --pattern /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-18-59-985-b083c702-c543-49c3-a8de-8a9efb64a747/execute-initial.kore /Users/emarzion/evm-semantics/./.krun-2021-02-09-00-18-59-985-b083c702-c543-49c3-a8de-8a9efb64a747/execute-result.kore "$@"

0 commit comments

Comments
 (0)