Change the field to integer

6 years ago · f0ce805a7c
parent f4bcb82b07
commit f0ce805a7c
1 changed files with 1 additions and 5 deletions
--- a/mythril/analysis/report.py
+++ b/mythril/analysis/report.py
@ -231,11 +231,7 @@ class Report:
                    },
                    "severity": issue.severity,
                    "locations": [{"sourceMap": "%d:1:%d" % (issue.address, idx)}],
-                    "extra": {
-                        "discoveryTime": "{}".format(
-                            int(issue.discovery_time * 10 ** 9)
-                        )
-                    },
+                    "extra": {"discoveryTime": int(issue.discovery_time * 10 ** 9)},
                }
            )
        meta_data = self._get_exception_data()