Send the transaction count to the Analyzer (#998)

6 years ago · 5b2dbd9b94
parent 0ff82e7e7e
commit 5b2dbd9b94
1 changed files with 1 additions and 0 deletions
--- 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: