add log action to plugin loader

this is introduced for debugging and monitoring purposes
pull/983/head
Joran Honig 6 years ago
parent a72b58db3d
commit e7cc359de2
  1. 4
      mythril/laser/ethereum/plugins/plugin_loader.py

@ -2,6 +2,9 @@ from mythril.laser.ethereum.svm import LaserEVM
from mythril.laser.ethereum.plugins.plugin import LaserPlugin
from typing import List
import logging
log = logging.getLogger(__name__)
class LaserPluginLoader:
@ -23,6 +26,7 @@ class LaserPluginLoader:
:param laser_plugin: plugin that will be loaded in the symbolic virtual machine
"""
log.info("Loading plugin: {}".format(str(laser_plugin)))
laser_plugin.initialize(self.symbolic_vm)
self.laser_plugins.append(laser_plugin)

Loading…
Cancel
Save