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