Usage (UNIX)

Easiest to Use

CQSAT was designed to be as easy to install and use as possible. The tool can be used by executing the command cqsat with arguments of the normal build command, i.e.

Use

$ cqsat make

In place of

$ make

Other examples:

$ cqsat make CC=gcc
$ cqsat make drivers/char/your_driver.o

etc.

There are options and arguments for more complex operations. Please refer to the man page.

That's it. CQSAT requires no code annotations, alterations to makefiles, build scripts or special environment variables.

Various sample distributions are available here.

Man Page