From 9fce2fd0ae430874686167d0837ebecd4686fa3c Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sun, 28 Apr 2019 16:33:21 +0200 Subject: [PATCH] Set default tx count to 1 in graph generator --- mythril/mythril/mythril_analyzer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/mythril/mythril_analyzer.py b/mythril/mythril/mythril_analyzer.py index 5d0596e2..abdb8647 100644 --- a/mythril/mythril/mythril_analyzer.py +++ b/mythril/mythril/mythril_analyzer.py @@ -84,7 +84,7 @@ class MythrilAnalyzer: contract: EVMContract = None, enable_physics: bool = False, phrackify: bool = False, - transaction_count: Optional[int] = None, + transaction_count: Optional[int] = 1, ) -> str: """