Skip to content

Are there any tools that can count line of code(loc) of boogie program? #466

Closed Answered by shazqadeer
Luweicai asked this question in Q&A
Are there any tools that can count line of code(loc) of boogie program? #466
@Luweicai Luweicai
Dec 4, 2021 · 1 comment
Answered by shazqadeer Return to top
Discussion options

Luweicai
Dec 4, 2021

You must be logged in to vote
Answered by shazqadeer Dec 4, 2021

Are you not satisfied with "wc -l"?

View full answer

Replies: 1 comment

Comment options

shazqadeer
Dec 4, 2021
Maintainer

You must be logged in to vote
0 replies
Answer selected by Luweicai
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants
@Luweicai @shazqadeer