Declaration prefixed with rand keyword is not prettified. #1335
Labels
Comments
|
Original Redmine Comment There's no reason that I know of to exclude 'rand' from prettifying operations. I think this was just oversight. I'll patch the two tests that fail and promote this patch sometime later today hopefully. |
|
Original Redmine Comment I just noticed that there is another keyword 'randc' which also need to be added. |
|
Original Redmine Comment Believe this was committed on Sep 4th. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Author Name: Chan Gyu Lee
Original Redmine Issue: 1335 from https://www.veripool.org
When doing lineup or prettifying code, declarations prefixed with rand keyword are ignored. I suggested "pull request":#16 in github to handle this problem, and was instructed to create issue here.
Tests fail because as noted above, declarations with rand keyword are
not originally being prettified. When I accordingly modified few test cases that contain such declarations, every other test cases passed without problem.
Are there any specific reasons for not prettifying rand property declarations?
The text was updated successfully, but these errors were encountered: