From e12460bf6e2465a98638c261f145c2cd181fd247 Mon Sep 17 00:00:00 2001 From: gsalzer Date: Sat, 21 Jan 2023 15:20:13 +0000 Subject: [PATCH] Fix: adapt description to match the sample command (#1731) --- docs/source/tutorial.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/tutorial.rst b/docs/source/tutorial.rst index 5f4a3276..61e54fba 100644 --- a/docs/source/tutorial.rst +++ b/docs/source/tutorial.rst @@ -678,5 +678,5 @@ To successfully explore useful transaction sequences we can use Mythril's ``--tr $ myth analyze rubixi.sol -t 3 --transaction-sequences [["0x89b8ae9b"],[-1],["0x686f2c90","0xb4022950","0x4229616d"]] -The first transaction is constrained on ``fallback()`` function, the second transaction is constrained on ``dynamicPyramid`` function, and finally the third transaction is constrained on ``collectAllFees()``, ``collectFeesInEther(uint256)`` and, ``collectPercentOfFees(uint256)``. +The first transaction is constrained to the function ``dynamicPyramid()``, the second one to the ``fallback()`` function, and finally, the third transaction is constrained to``collectAllFees()``, ``collectFeesInEther(uint256)`` and ``collectPercentOfFees(uint256)``. Make sure to use ``-t 3`` argument, since the length of the transaction sequence should match with the transaction count argument.