Merge branch 'develop' into fix/memory

5 years ago · f42eb86cdb
parent 4024e18fb6 052b8988e3
commit f42eb86cdb
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/report.py
+++ b/mythril/analysis/report.py
@ -231,7 +231,7 @@ class Report:
                title = "Unspecified Security Issue"
            extra = {"discoveryTime": int(issue.discovery_time * 10 ** 9)}
            if issue.transaction_sequence_jsonv2:
-                extra["testCase"] = issue.transaction_sequence_jsonv2
+                extra["testCases"] = [issue.transaction_sequence_jsonv2]

            _issues.append(
                {