Also pass execution timeout for graph

mythril/interfaces/cli.py

@@ -194,7 +194,7 @@ def main():
             if args.graph:
                 html = mythril.graph_html(strategy=args.strategy, contract=mythril.contracts[0], address=address,
                                           enable_physics=args.enable_physics, phrackify=args.phrack,
-                                          max_depth=args.max_depth)
+                                          max_depth=args.max_depth, execution_timeout=args.execution_timeout)
 
                 try:
                     with open(args.graph, "w") as f:

mythril/laser/ethereum/svm.py

@@ -46,7 +46,7 @@ class LaserEVM:
         self.work_list = []
         self.strategy = strategy(self.work_list, max_depth)
         self.max_depth = max_depth
-        self.execution_timeout = 20
+        self.execution_timeout = execution_timeout
         self.time = None
 
         self.pre_hooks = {}

mythril/mythril.py

@@ -363,10 +363,10 @@ class Mythril(object):
 
         return get_serializable_statespace(sym)
 
-    def graph_html(self, strategy, contract, address, max_depth=12, enable_physics=False, phrackify=False):
+    def graph_html(self, strategy, contract, address, max_depth=12, enable_physics=False, phrackify=False, execution_timeout=None):
         sym = SymExecWrapper(contract, address, strategy,
                              dynloader=DynLoader(self.eth) if self.dynld else None,
-                             max_depth=max_depth)
+                             max_depth=max_depth, execution_timeout=execution_timeout)
         return generate_graph(sym, physics=enable_physics, phrackify=phrackify)
 
     def fire_lasers(self, strategy, contracts=None, address=None,