chc package

chc.api	Functionality related to interaction between functions and files.
chc.app	Application coordination and main data types.
chc.cmdline	Command-line processor for individual c-file, project, kendra, and juliet.
chc.invariants	Invariants and their constituting expressions.
chc.jsoninterface	Schema and basic data structure to output results in json.
chc.linker	Facility to link global variables and struct definitions across c-files.
chc.proof	Proof obligations and their proofs.
chc.reporting	Utilities for creating text reports of analysis results.
chc.source	Access to original source code files.
chc.util	Utilities for file, logging, and dictionary indexing.

Subpackages

• chc.api package
• chc.app package
• chc.cmdline package
• chc.invariants package
• chc.jsoninterface package
• chc.linker package
• chc.proof package
• chc.reporting package
• chc.source package
• chc.util package