---
name: Bug report
about: Tell us about Mythril bugs to help us improve

---

<!-- Note: did you notice that there is now a template for requesting new features?

Please remove any of the optional sections if they are not applicable. -->

## Description

<!-- Replace this text with a clear and concise description of the bug. -->

## How to Reproduce

<!-- Please show both the input you gave and the
output you got in describing how to reproduce the bug.

For example:

```console
$ myth <command-line-options>
==== Exception state ====
Type: ...
Contract: ...
Function name: ...
...
$
```

or perhaps:

1. Go to '...'
2. Click on '....'
3. Scroll down to '....'
4. See error


If there is a Solidity source code, a truffle project, or bytecode
that is involved, please provide that or links to it.

-->

## Expected behavior

<!-- A clear and concise description of what you expected to happen. -->

## Screenshots

<!-- This section is optional.

If applicable, add screenshots to help explain your problem.

-->

## Environment

<!-- This section sometimes is optional but helpful to us.

Please modify for your setup

- Mythril version: output from  `myth --version` or `pip show mythril`
- Solidity compiler and version: `solc --version`
- Python version: `python -V`
- OS and Version: [e.g. Mac OS High Sierra]

-->

## Additional Environment or Context

<!-- This section is optional.

Add any other context about the problem here or special environment setup.

Thanks for helping!

-->