Add analysis time field (#1421)

* Add analysis time field

* Update mythril/analysis/report.py

Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>

* Fix requirements

* Black

* Fix black version

Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local>
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>

.circleci/config.yml

@@ -40,7 +40,7 @@ jobs:
       - run:
           name: Black style check
           command: |
-            pip3 install --user black
+            pip3 install --user black==19.10b0
             python3 -m black --check /home/mythril/
 
       - run:

mythril/analysis/report.py

@@ -291,6 +291,7 @@ class Report:
         for execution_info in self.execution_info:
             meta_data["mythril_execution_info"].update(execution_info.as_dict())
 
+        meta_data["mythril_analysis_duration"] = time() - StartTime().global_start_time
         result = [
             {
                 "issues": _issues,

requirements.txt

@@ -32,3 +32,4 @@ pysha3
 matplotlib
 pythx
 pre-commit
+certifi>=2020.06.20

setup.py

@@ -53,6 +53,7 @@ REQUIRED = [
     "matplotlib",
     "pythx",
     "py-evm==0.3.0a13",
+    "certifi>=2020.06.20",
 ]
 
 TESTS_REQUIRE = ["mypy", "pytest>=3.6.0", "pytest_mock", "pytest-cov"]