Round to integers

4 years ago · 490c4a87d6
parent 7c9502b99e
commit 490c4a87d6
1 changed files with 4 additions and 3 deletions
--- a/mythril/analysis/report.py
+++ b/mythril/analysis/report.py
@ -287,9 +287,10 @@ class Report:
        meta_data.update(self._get_exception_data())

        # Add execution info to meta
-        meta_data["mythril_execution_info"] = {
-            "analysis_duration": (time() - StartTime().global_start_time) * (10 ** 9)
-        }
+        analysis_duration = int(
+            round((time() - StartTime().global_start_time) * (10 ** 9))
+        )
+        meta_data["mythril_execution_info"] = {"analysis_duration": analysis_duration}
        for execution_info in self.execution_info:
            meta_data["mythril_execution_info"].update(execution_info.as_dict())