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

Merge pull request #495 from dmuhs/fix/488

Browse Source 
Fix issue 488: Broken CFG HTML output
pull/480/merge
Nikhil Parasaram 6 years ago committed by GitHub
parent 593f48b454 dbda4c5d24
commit 7939dccb95
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 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. 10
      mythril/analysis/templates/callgraph.html

10
mythril/analysis/templates/callgraph.html
Unescape View File

@ -8,6 +8,7 @@
{% if not phrackify %} {% if not phrackify %}
<style type="text/css"> <style type="text/css">
#mynetwork { #mynetwork {
height: 100%;
background-color: #232625; background-color: #232625;
} }
body { body {
@ -15,10 +16,14 @@
color: #ffffff; color: #ffffff;
font-size: 10px; font-size: 10px;
} }
html, body {
height: 95%;
}
</style> </style>
{% else %} {% else %}
<style type="text/css"> <style type="text/css">
#mynetwork { #mynetwork {
height: 100%;
background-color: #ffffff; background-color: #ffffff;
} }
body { body {
@ -27,6 +32,9 @@
font-size: 10px; font-size: 10px;
font-family: "courier new"; font-family: "courier new";
} }
html, body {
height: 95%;
}
</style> </style>
{% endif %} {% endif %}
@ -38,7 +46,7 @@
</head> </head>
<body> <body>
<p>{{ title }}</p> <p>{{ title }}</p>
<p><div id="mynetwork"></div><br/></p> <div id="mynetwork"></div>
<script type="text/javascript"> <script type="text/javascript">
var container = document.getElementById('mynetwork'); var container = document.getElementById('mynetwork');

Write Preview
Loading…
Cancel
Save