Document CIF checker output (preconditions check output) for all CIF tools that use CIF checker framework
From !511 (merged):
- Explain the output in the end user documentation, such that users can read how to interpret the output, how to work with, etc.
What to explain:
- There is scoping information printed,
^
indicators, etc, etc. - There are subtle things, like that it is pretty printer, comments are gone,
const int a = 1, b = 2;
gets split into multiple declarations, etc.