3 ms·
> For example, coding standard says every "case" statement has to have a "default" switch. grep "case", grep "default", and you get wildly different numbers!
by efaref 11y ago
> For example, coding standard says every "case" statement has to have a "default" switch. grep "case", grep "default", and you get wildly different numbers!
I hope that's an error in the document. I assume they meant "$(grep -r 'switch (' . | wc -l) != $(grep -r 'default:' . | wc -l)".
- noselasd 11y agoIt's a summary of the talk at https://vimeo.com/84991949 https://vimeo.com/84991949 , where Holzmann just mentions the use of grep verbally, not giving the exact commands to run.
- deleted 11y ago[deleted]
- atsaloli 11y agoArticle author here. I'm a sysadmin so my programming mind may have translated "switch" (C) to "case" (bash). Fixed. Thanks for the catch!