Skip to content

Commit

Permalink
Commentary
Browse files Browse the repository at this point in the history
  • Loading branch information
wsnyder committed Jan 2, 2025
1 parent 3a69dd4 commit 951f5ea
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/ISSUE_TEMPLATE/bug_report.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ assignees: ''

Thanks for taking the time to report this.

Can you attach an example that shows the issue? (Must be openly licensed, completely self-contaned so can directly run what you provide. Ideally use [test_regress format](https://veripool.org/guide/latest/contributing.html?highlight=test_regress#reporting-bugs).)
Can you attach an example that shows the issue? (Must be openly licensed, completely self-contaned so can directly run what you provide. Ideally use test_regress format, see https://veripool.org/guide/latest/contributing.html?highlight=test_regress#reporting-bugs

What 'verilator' command line do we use to run your example?

Expand Down

0 comments on commit 951f5ea

Please sign in to comment.