Are there any tools that can count line of code(loc) of boogie program? #467
-
|
As the title. |
Beta Was this translation helpful? Give feedback.
Answered by
MikaelMayer
Dec 6, 2021
Replies: 1 comment
-
|
Can you precise your thought? If you are using a unix command-line, you can use this: |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
MikaelMayer
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Can you precise your thought? If you are using a unix command-line, you can use this: