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
Closed
Assignees

Comments

@veripoolbot
Copy link
Collaborator

@veripoolbot veripoolbot commented Apr 18, 2019


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

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented May 1, 2019


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
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.