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

vrename --change misses escaped name if it is followed a newline for whitespace #1420

Closed
veripoolbot opened this issue Apr 18, 2019 · 1 comment
Assignees

Comments

@veripoolbot
Copy link
Collaborator


Author Name: Kerry Imming
Original Redmine Issue: 1420 from https://www.veripool.org

Original Assignee: Wilson Snyder (@wsnyder)


Thank you for the very useful utility.

I found an issue with processing escaped names. Escaped names end with whitespace, which can be a newline. vrename does not recognize the case of a newline. I have a attached a small example. While the strange line breaks certainly not common, they are created by the Cadence netlist writer.

I worked around this issue by appending a space to every line in the verilog file.

  • Kerry
    Rochester, MN
@veripoolbot
Copy link
Collaborator Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-05-01T11:39:15Z


Indeed. On testing this also found and fixed some problems with converting escaped to non-escaped and vice-versa.

Fixed in git and 3.464.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants