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.

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

Update testing docs #486

veripoolbot opened this issue Apr 20, 2012 · 1 comment

Update testing docs #486

veripoolbot opened this issue Apr 20, 2012 · 1 comment


Copy link

@veripoolbot veripoolbot commented Apr 20, 2012

Author Name: Jeremy Bennett (@jeremybennett)
Original Redmine Issue: 486 from
Original Date: 2012-04-20
Original Assignee: Jeremy Bennett (@jeremybennett)

I've updated the BUGS section of the Verilator user guide based on my recent experiences, to help those writing tests for the first time.

I'm not sure I have everything correct, or even whether this level of detail really belongs in the Internals manual.

I've pushed these changes on GitHub. Please pull from, commit 2f40448f1d6540221f015a6cc1d90faa4ff12b59.

(GitHub really assumes you are pulling between repositories on GitHub. I'm not sure how I should properly structure a pull request to an external repository like Verilator).


This comment has been minimized.

Copy link

@veripoolbot veripoolbot commented Apr 21, 2012

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2012-04-21T17:00:58Z

Committed. Bonus points for writing documentation!

I think I'd like to leave the main documentation to focus on what the average user needs to run, so I left the intro information you added. The other stuff could be either internals or added to the driver script. The driver script seemed a better spot as it's much closer to the relevant source so I put it there.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
1 participant
You can’t perform that action at this time.