Warning

This page was created from a pull request (#74).

Rule Sanity Checks

The --rule_sanity option enables some automatic checks that can warn you about certain classes of mistakes in specifications.

Note

The --rule_sanity option is different from the built-in sanity rule

Todo

This section should be expanded.