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

randsequence misindented #838

Open
veripoolbot opened this issue Nov 6, 2014 · 1 comment
Open

randsequence misindented #838

veripoolbot opened this issue Nov 6, 2014 · 1 comment
Labels

Comments

@veripoolbot
Copy link
Collaborator

@veripoolbot veripoolbot commented Nov 6, 2014


Author Name: Wilson Snyder (@wsnyder)
Original Redmine Issue: 838 from https://www.veripool.org


Yanming Gao emails:

module a;
    randsequence(TOP)
       TOP:
          A
          B
          C
          D;
       A:
          seq_a;
       B:
          seq_b;
       C: seq_c;
       D: seq_d;

    endsequence

    randsequence(TOP)
       TOP:
          rand join
          A
          B
          C
          D;
      A:
         seq_a;
      B:
         seq_b;
      C: seq_c;
      D: seq_d;

endsequence

endmodule

After hit ctrl-alt-\ to indent, I got following result

module a;

    randsequence(TOP)
       TOP:
          A
          B
             C
                D;
       A:
          seq_a;
       B:
          seq_b;
       C: seq_c;
       D: seq_d;

    endsequence

    randsequence(TOP)
       TOP:
          rand join
A
    B
       C
          D;
A:
    seq_a;
B:
    seq_b;
C: seq_c;
D: seq_d;

endsequence

endmodule

The indent is very ugly for randsequence, especailly after "rand join".

Rhanks and best regards.

Yanming Gao

@veripoolbot

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Nov 19, 2017


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-11-19T13:17:08Z


Still a problem, maybe someone would like to contribute a patch?

@veripoolbot veripoolbot added the indents label Mar 14, 2020
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
1 participant
You can’t perform that action at this time.