Print link to foundry_success predicate in help_info (#423)

lisandrasilva · rv-auditor · palinatolmach · web-flow · commit d29a7760d0f6 · 2024-03-13T12:26:07.000-06:00
* Added link to foundry_success predicate to help_info

* Updated expected files

* Set Version: 0.1.192

* Update expected output

* Set Version: 0.1.193

* Set Version: 0.1.194

* Update module version in `AssumeTest` expected output

* Set Version: 0.1.195

* Update output in `split-node.expected`

* Set Version: 0.1.196

* Set Version: 0.1.197

* Set Version: 0.1.198

* Set Version: 0.1.199

* Set Version: 0.1.200

* updated expected file

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: palinatolmach &lt;polina.tolmach@gmail.com&gt;
Co-authored-by: rv-jenkins &lt;admin@runtimeverification.com&gt;
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.199
+0.1.200
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.199"
+version = "0.1.200"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git 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.199'
+VERSION: Final = '0.1.200'
diff --git a/src/kontrol/foundry.py b/src/kontrol/foundry.py
@@ -415,13 +415,11 @@ def symbolic_account(prefix: str, program: KInner, storage: KInner | None = None
     @staticmethod
     def help_info() -> list[str]:
         res_lines: list[str] = []
-        print_foundry_success_info = any('foundry_success' in line for line in res_lines)
-        if print_foundry_success_info:
-            res_lines.append('')
-            res_lines.append('See `foundry_success` predicate for more information:')
-            res_lines.append(
-                'https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate'
-            )
+        res_lines.append('')
+        res_lines.append('See `foundry_success` predicate for more information:')
+        res_lines.append(
+            'https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate'
+        )
         res_lines.append('')
         res_lines.append(
             'Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol'
diff --git a/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected b/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
@@ -1513,4 +1513,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -1747,4 +1747,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -4583,4 +4583,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -1747,4 +1747,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -1513,4 +1513,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -2645,4 +2645,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -2882,4 +2882,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -1354,4 +1354,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -1771,4 +1771,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -2017,4 +2017,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 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
@@ -2708,4 +2708,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
diff --git a/src/tests/integration/test-data/show/gas-abstraction.expected b/src/tests/integration/test-data/show/gas-abstraction.expected
@@ -1044,4 +1044,7 @@ Failing nodes:
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
diff --git a/src/tests/integration/test-data/show/node-refutation.expected b/src/tests/integration/test-data/show/node-refutation.expected
@@ -906,4 +906,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
diff --git a/src/tests/integration/test-data/show/split-node.expected b/src/tests/integration/test-data/show/split-node.expected
@@ -6936,4 +6936,7 @@ endmodule
 
 Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN
 
+See `foundry_success` predicate for more information:
+https://github.com/runtimeverification/kontrol/blob/master/src/kontrol/kdist/foundry.md#foundry-success-predicate
+
 Access documentation for KEVM foundry integration at https://docs.runtimeverification.com/kontrol
