Installation

To fetch and install CN, visit the Cerberus repository and follow the instructions in backend/cn/README.md.

Once the installation is completed, type cn --help in your terminal to ensure CN is installed and found by your system. This should print the list of available options CN can be executed with.

To apply CN to a C file, run cn verify CFILE.

Install the language server and VSCode plugin for a better IDE experience.