Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Herbie Report produces empty index.html #730

Open
samayala22 opened this issue Feb 13, 2024 · 1 comment
Open

Herbie Report produces empty index.html #730

samayala22 opened this issue Feb 13, 2024 · 1 comment

Comments

@samayala22
Copy link

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 ?
@pavpanchekha
Copy link
Contributor

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pavpanchekha @samayala22