Rename manticore.seth to manticore.ethereum (#665)

* Rename file

* Fixup refs

* update logging

* Update docs

* Update docstr

* Clean docs

docs/api.rst

@@ -40,10 +40,11 @@ Models
 EVM
 ---
 .. automodule:: manticore.platforms.evm
-.. automodule:: manticore.seth
-    :members: 
+.. automodule:: manticore.ethereum
+    :members:
+
 EVM Assembler
----------
+-------------
 .. autoclass:: manticore.platforms.evm::EVMAsm.Instruction
     :members: 
 .. autoclass:: manticore.platforms.evm.EVMAsm

examples/evm/coverage.py

@@ -1,4 +1,4 @@
-from manticore.seth import ManticoreEVM
+from manticore.ethereum import ManticoreEVM
 
 m = ManticoreEVM()
 m.verbosity(3)

examples/evm/minimal.py

@@ -1,4 +1,4 @@
-from manticore.seth import ManticoreEVM
+from manticore.ethereum import ManticoreEVM
 ################ Script #######################
 
 m = ManticoreEVM()

examples/evm/reentrancy_concrete.py

@@ -1,4 +1,4 @@
-from manticore.seth import ManticoreEVM, ABI
+from manticore.ethereum import ManticoreEVM, ABI
 ################ Script #######################
 
 m = ManticoreEVM()

examples/evm/reentrancy_symbolic.py

@@ -1,4 +1,4 @@
-from manticore.seth import ManticoreEVM
+from manticore.ethereum import ManticoreEVM
 ################ Script #######################
 
 m = ManticoreEVM()

examples/evm/simple_mapping.py

@@ -1,4 +1,4 @@
-from manticore.seth import ManticoreEVM
+from manticore.ethereum import ManticoreEVM
 ################ Script #######################
 
 m = ManticoreEVM()

manticore/__main__.py

@@ -72,7 +72,7 @@ def parse_arguments():
 
 
 def ethereum_cli(args):
-    from seth import ManticoreEVM, IntegerOverflow, UnitializedStorage, UnitializedMemory
+    from ethereum import ManticoreEVM, IntegerOverflow, UnitializedStorage, UnitializedMemory
     log.init_logging()
 
     m = ManticoreEVM(procs=args.procs)

manticore/ethereum.py

@@ -485,7 +485,7 @@ class ManticoreEVM(Manticore):
     
         Usage Ex::
 
-            from manticore.seth import ManticoreEVM, ABI
+            from manticore.ethereum import ManticoreEVM, ABI
             seth = ManticoreEVM()
             #And now make the contract account to analyze
             source_code = """

manticore/utils/log.py

@@ -64,13 +64,13 @@ def set_verbosity(setting):
         [
             ('manticore.manticore', logging.INFO),
             ('manticore.main', logging.INFO),
-            ('manticore.seth', logging.INFO),
+            ('manticore.ethereum', logging.INFO),
         ],
         # 2 (-v)
         [
             ('manticore.core.executor', logging.INFO),
             ('manticore.platforms.*', logging.DEBUG),
-            ('manticore.seth', logging.DEBUG),
+            ('manticore.ethereum', logging.DEBUG),
             ('manticore.core.plugin', logging.DEBUG),
         ],
         # 3 (-vv)

tests/test_eth.py

@@ -1,7 +1,7 @@
 import unittest
 import os
 
-from manticore.seth import ManticoreEVM, IntegerOverflow
+from manticore.ethereum import ManticoreEVM, IntegerOverflow
 
 THIS_DIR = os.path.dirname(os.path.abspath(__file__))