Skip to content

Conversation

@my2817
Copy link
Contributor

@my2817 my2817 commented Nov 3, 2024

Improved indention of multiline assignment with delay control.

Copy link
Member

@wsnyder wsnyder left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, please update to support spaces after #.

@my2817 my2817 force-pushed the master branch 2 times, most recently from 2a2ceea to 98f1311 Compare November 6, 2024 15:39
@my2817 my2817 marked this pull request as draft November 6, 2024 16:00
@my2817 my2817 marked this pull request as ready for review November 7, 2024 12:01
Apply suggestions from code review

delay control of assignment can be the format of "#[ \t]*[0-9]+"

Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>

fix[indent]: indent_delay_assignment.v of tests_ok
@wsnyder wsnyder merged commit 88030f2 into veripool:master Nov 7, 2024
2 checks passed
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

Successfully merging this pull request may close these issues.

2 participants