diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index 01524ad7..adb0e8f2 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -433,6 +433,7 @@ def execute_command( contract=analyzer.contracts[0], enable_physics=args.enable_physics, phrackify=args.phrack, + transaction_count=args.transaction_count, ) try: