TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'develop' into maintenance/use_instruction_coverage_plugin

Browse Source
pull/986/head
JoranHonig 6 years ago committed by GitHub
parent 0c6c9de851 71764dbe31
commit aab295d7b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      mythril/version.py

2
mythril/version.py
Unescape View File

@ -4,4 +4,4 @@ This file is suitable for sourcing inside POSIX shell, e.g. bash as well
as for importing into Python. as for importing into Python.
""" """
VERSION = "v0.20.2" # NOQA VERSION = "v0.20.3" # NOQA

Write Preview
Loading…
Cancel
Save