Commentary

This commit is contained in:
Wilson Snyder 2025-01-02 08:09:02 -05:00
parent 3a69dd4a43
commit 951f5eaa82
1 changed files with 1 additions and 1 deletions

View File

@ -9,7 +9,7 @@ assignees: ''
Thanks for taking the time to report this. 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? What 'verilator' command line do we use to run your example?