Directories
¶
| Path | Synopsis |
|---|---|
|
Package invariant is the module's one assertion primitive (Power of Ten rule 5: assertions stay in production and have a recovery action).
|
Package invariant is the module's one assertion primitive (Power of Ten rule 5: assertions stay in production and have a recovery action). |
|
Package rules holds the test that checks this module's own code against the parts of Holzmann's Power of Ten ("The Power of 10: Rules for Developing Safety-Critical Code", IEEE Computer 39(6), 2006) that no linter checks: recursion, loop forms, assertion density, conversions to int that a 32-bit host would wrap, pointer and func types, package-level state, build tags and suppression comments.
|
Package rules holds the test that checks this module's own code against the parts of Holzmann's Power of Ten ("The Power of 10: Rules for Developing Safety-Critical Code", IEEE Computer 39(6), 2006) that no linter checks: recursion, loop forms, assertion density, conversions to int that a 32-bit host would wrap, pointer and func types, package-level state, build tags and suppression comments. |
Click to show internal directories.
Click to hide internal directories.