Better mypy integration.

Thanks, @ekilmer.
trailofbits · Jan 6, 2020 · 1b50ce0 · 1b50ce0
1 parent 6df79e6
commit 1b50ce0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/manticore/platforms/evm_world_state.py b/manticore/platforms/evm_world_state.py
@@ -3,7 +3,7 @@
 from abc import ABC, abstractmethod
 from typing import Dict, Optional, Set, Union
 from urllib.parse import ParseResult, urlparse
-from web3 import Web3  # type: ignore
+from web3 import Web3
 from ..exceptions import EthereumError
 from ..core.smtlib import Array, BitVec, BitVecConstant, BitVecITE, BitVecZeroExtend, ConstraintSet
 

diff --git a/mypy.ini b/mypy.ini
@@ -42,3 +42,6 @@ ignore_missing_imports = True
 
 [mypy-wasm.*]
 ignore_missing_imports = True
+
+[mypy-web3.*]
+ignore_missing_imports = True