From abfdeef175906f7c95a962fb60dec93901dfbfc2 Mon Sep 17 00:00:00 2001 From: Lisandra Date: Fri, 27 Oct 2023 14:55:52 +0100 Subject: [PATCH] Updated documentation link in output (#129) * updated documentation link in output * Set Version: 0.1.37 * changed to https link * Set Version: 0.1.38 * Set Version: 0.1.39 --------- Co-authored-by: devops Co-authored-by: Palina Tolmach --- package/version | 2 +- pyproject.toml | 2 +- src/kontrol/__init__.py | 2 +- src/kontrol/foundry.py | 2 +- src/tests/integration/test-data/gas-abstraction.expected | 2 +- .../test-data/show/AssertTest.testFail_assert_false().expected | 2 +- .../test-data/show/AssertTest.testFail_assert_true().expected | 2 +- .../test-data/show/AssertTest.testFail_expect_revert().expected | 2 +- .../test-data/show/AssertTest.test_assert_false().expected | 2 +- .../test-data/show/AssertTest.test_assert_true().expected | 2 +- .../show/AssertTest.test_failing_branch(uint256).expected | 2 +- .../AssertTest.test_revert_branch(uint256,uint256).expected | 2 +- .../AssumeTest.testFail_assume_false(uint256,uint256).expected | 2 +- .../AssumeTest.testFail_assume_true(uint256,uint256).expected | 2 +- .../show/AssumeTest.test_assume_false(uint256,uint256).expected | 2 +- .../test-data/show/LoopsTest.sum_N(uint256).expected | 2 +- .../test-data/show/SetUpDeployTest.test_extcodesize().expected | 2 +- 17 files changed, 17 insertions(+), 17 deletions(-) diff --git a/package/version b/package/version index 5786113b6..528bd040e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.38 +0.1.39 diff --git a/pyproject.toml b/pyproject.toml index 66aea5f4b..6bb35e08b 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kontrol" -version = "0.1.38" +version = "0.1.39" description = "Foundry integration for KEVM" authors = [ "Runtime Verification, Inc. ", diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py index 93c20217c..596be7fa0 100644 --- a/src/kontrol/__init__.py +++ b/src/kontrol/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '0.1.38' +VERSION: Final = '0.1.39' diff --git a/src/kontrol/foundry.py b/src/kontrol/foundry.py index f3ec273d8..7d0526590 100644 --- a/src/kontrol/foundry.py +++ b/src/kontrol/foundry.py @@ -353,7 +353,7 @@ def help_info() -> list[str]: ) res_lines.append('') res_lines.append( - 'Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/' + 'Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol' ) return res_lines diff --git a/src/tests/integration/test-data/gas-abstraction.expected b/src/tests/integration/test-data/gas-abstraction.expected index fad61ac48..51cea1ec7 100644 --- a/src/tests/integration/test-data/gas-abstraction.expected +++ b/src/tests/integration/test-data/gas-abstraction.expected @@ -1038,4 +1038,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssertTest.testFail_assert_false().expected b/src/tests/integration/test-data/show/AssertTest.testFail_assert_false().expected index ead305c2b..eeb3d3ce9 100644 --- a/src/tests/integration/test-data/show/AssertTest.testFail_assert_false().expected +++ b/src/tests/integration/test-data/show/AssertTest.testFail_assert_false().expected @@ -1463,4 +1463,4 @@ endmodule Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected b/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected index 2f2fc6313..103f76824 100644 --- a/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected +++ b/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected @@ -1659,4 +1659,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected b/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected index 39cd890e4..8e256cb67 100644 --- a/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected +++ b/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected @@ -2082,4 +2082,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected b/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected index 7c42c0123..58865bc81 100644 --- a/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected +++ b/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected @@ -1659,4 +1659,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected b/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected index f191371fb..e6a1c06b8 100644 --- a/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected +++ b/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected @@ -1463,4 +1463,4 @@ endmodule Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected b/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected index 32239b3f7..d0d325095 100644 --- a/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected +++ b/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected @@ -2492,4 +2492,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected b/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected index 18611010d..67e0a40ba 100644 --- a/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected +++ b/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected @@ -2513,4 +2513,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected index 166f16265..8efd6d73d 100644 --- a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected +++ b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected @@ -1350,4 +1350,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected index 0ee95011a..a657f8a77 100644 --- a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected +++ b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected @@ -2012,4 +2012,4 @@ endmodule Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected index c349aa371..af163d093 100644 --- a/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected +++ b/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected @@ -2251,4 +2251,4 @@ Failing nodes: Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/LoopsTest.sum_N(uint256).expected b/src/tests/integration/test-data/show/LoopsTest.sum_N(uint256).expected index 6310e844c..1eb35d384 100644 --- a/src/tests/integration/test-data/show/LoopsTest.sum_N(uint256).expected +++ b/src/tests/integration/test-data/show/LoopsTest.sum_N(uint256).expected @@ -2529,4 +2529,4 @@ endmodule Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol diff --git a/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected b/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected index dabf6195a..ec41cfc1b 100644 --- a/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected +++ b/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected @@ -2950,4 +2950,4 @@ endmodule Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN -Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kevm-integration-for-foundry/ +Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol