Installation

To fetch and install CN, visit the CN repository and follow the installation instructions in the 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 use CN to verify a C file, run cn verify CFILE.

To use CN to test a C file, run cn test CFILE.

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