count_running_states was removed in Manticore v0.3.0 (#62)

crytic · Jun 28, 2019 · c783d68 · c783d68
1 parent d96d255
commit c783d68
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/etheno/manticoreclient.py b/etheno/manticoreclient.py
@@ -30,6 +30,7 @@ def manticoreimport(name, *args, **kwargs):
 # ####END####
 
 from manticore.ethereum import ManticoreEVM
+from manticore.exceptions import NoAliveStates
 import manticore
 
 from . import logger
@@ -168,7 +169,11 @@ def multi_tx_analysis(self, contract_address = None, tx_limit=None, tx_use_cover
                                  address=contract_address,
                                  data=symbolic_data,
                                  value=symbolic_value)
-                self.logger.info("%d alive states, %d terminated states" % (self.manticore.count_running_states(), self.manticore.count_terminated_states()))
+                if manticore_is_new_enough(0, 3, 0):
+                    # TODO: find the equivalent functions to get state counts in v0.3.0
+                    pass
+                else:
+                    self.logger.info("%d alive states, %d terminated states" % (self.manticore.count_running_states(), self.manticore.count_terminated_states()))
             except NoAliveStates:
                 break