## 3 Testing CIL

Once you have built CIL you can run

    make quicktest

This will run a few small examples. If you want to test CIL on a large part of our own regression suite you need to do the following:

- Download the CCured regression suite from the distribution directory. The latest version is `../ccured/distrib/ccured-tests-1.3.3.tar.gz`.
- Unpack that file in the `cil` (you must end up with `cil/test`).
- Run `./configure` to create the file `cil/test/Makefile`
- Re-run `make`
- In the `test` directory, run

      USECILLY=1 testsafec --run --group cil --nogroup slow

Drop the argument `--nogroup slow` to run even larger tests.
Note that some tests will fail either because they are not included in our distribution, or because we still have a few failing test cases.