Skip to content

Commit

Permalink
Updated documentation link in output (#129)
Browse files Browse the repository at this point in the history 
* 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 <[email protected]>
Co-authored-by: Palina Tolmach <[email protected]>
  • Loading branch information
@lisandrasilva @palinatolmach
3 people authored Oct 27, 2023
1 parent 08de16a commit abfdeef
Show file tree
Hide file tree
Showing 17 changed files with 17 additions and 17 deletions.
2 changes: 1 addition & 1 deletion package/version
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.38
0.1.39
2 changes: 1 addition & 1 deletion pyproject.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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. <[email protected]>",
Expand Down
2 changes: 1 addition & 1 deletion src/kontrol/__init__.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@
if TYPE_CHECKING:
from typing import Final

VERSION: Final = '0.1.38'
VERSION: Final = '0.1.39'
2 changes: 1 addition & 1 deletion src/kontrol/foundry.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/gas-abstraction.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssertTest.testFail_assert_false().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion ...sts/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion ...ests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/LoopsTest.sum_N(uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit abfdeef

Please sign in to comment.