This is a small test and benchmark suite for the CompCert verified C compiler. It used to be part of the main CompCert project at https://github.com/AbsInt/CompCert, but now lives in its own repository at https://github.com/AbsInt/CompCert-small-tests .

This repository must be checked out as a subdirectory of the main CompCert project. From a clone of the main CompCert project, do

git submodule init
git submodule update

Unless explicitly mentioned in individual files, the files in this project are distributed under the terms of the GNU General Public License version 2 (see file LICENSE for a copy), or (at your option) any later version.