![[logo]](/img/veripool_small.png)
Issue #230
can't find *.vs files
| Status: | NoFixNeeded | Start date: | 03/31/2010 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: | - | % Done: | 0% |
|
| Category: | - | |||
| Target version: | - |
Description
When module files end in .vs rather than .v, they are not found.
History
Updated by Wilson Snyder about 2 years ago
- Status changed from New to WillNotFix
You need a libext for any suffix other than .v or .sv, which I think is also true with most other tools.
Also available in: Atom