Herbie Report produces empty index.html
samayala22 opened this issue · comments
Built herbie from source on WSL following the instructions provided in in the documention.
Then tried to generate a report on an example:
herbie report --threads yes bench/tutorial.fpcore output/
Output seems normal:
Starting 3 Herbie workers on 3 problems (seed: 1699881739)...
Warning: 25.6% of points produce a very large (infinite) output. You may want to add a precondition.
See <https://herbie.uwplse.org/doc/2.0/faq.html#inf-points> for more.
1/3 [ 0.4s] 54% → 100% Cancel like terms
2/3 [ 1.2s] 55% → 100% Expanding a square
3/3 [ 1.7s] 100% → 100% Commute and associate
But in the output dir, the index.html has no body ?
<!doctype html>
<html><head><title>Herbie results</title><meta charset="utf-8"/><link rel="stylesheet" type="text/css" href="report.css"/><script src="report-page.js" type="module"></script><script src="https://unpkg.com/mathjs@4.4.2/dist/math.min.js"></script><script src="https://unpkg.com/d3@6.7.0/dist/d3.min.js"></script><script src="https://unpkg.com/@observablehq/plot@0.4.3/dist/plot.umd.min.js"></script></head><body></body></html>
So I get a blank webpage.
Here's the tree view of the output dir. The graph.html files work fine.
output
├── 0-Expandingasquare
│ ├── graph.html
│ ├── interactive.js
│ ├── points.json
│ ├── profile.json
│ ├── timeline.html
│ └── timeline.json
├── 1-Commuteandassociate
│ ├── graph.html
│ ├── interactive.js
│ ├── points.json
│ ├── profile.json
│ ├── timeline.html
│ └── timeline.json
├── 2-Cancelliketerms
│ ├── graph.html
│ ├── interactive.js
│ ├── points.json
│ ├── profile.json
│ ├── timeline.html
│ └── timeline.json
├── index.html
├── logo-car.png
├── profile.json
├── report-page.js
├── report.css
├── report.js
├── results.json
├── timeline.html
└── timeline.json
Did I do something wrong ?
Ugh, unfortunately no, it's just that the report.html page doesn't work currently from a raw file. We really ought to fix that, but for now launching a server with, say, python -m http.server -d YOUR_DIRECTORY and going to localhost:8000 will work. This is a change in browsers to make things more "secure" that is breaking Herbie's web pages.