mirror of
https://github.com/trailofbits/manticore.git
synced 2026-10-12 02:23:44 +00:00
Eric Hennenfent
36b3024ff0
* Add version info to installations * Let's try a newer version? * Use fixed yices release * Really? No relative path support? * Can't handle newer C compilers Ugh we should really do something about that * Let's try 3.8 * Back to 3.7 3.6 is EOL soon, so we can justify jumping up to a more recent version, but 3.8 might still be too new for some people. * Find & Replace 3.6 -> 3.7 * Bump setup-python version * Fix additional 3.6 usage
12 lines
211 B
INI
12 lines
211 B
INI
[mypy]
|
|
python_version = 3.7
|
|
files = manticore, tests
|
|
ignore_missing_imports = True
|
|
|
|
# Generated file
|
|
[mypy-manticore.ethereum.parsetab]
|
|
ignore_errors = True
|
|
|
|
[mypy-manticore.core.state_pb2]
|
|
ignore_errors = True
|