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.4.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.