Commentary

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

View File

@ -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, ideally in test_regress format.)
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).)
What 'verilator' command line do we use to run your example?