https://github.com/absint/compcert-small-tests
A small test suite for the CompCert C verified compiler
https://github.com/absint/compcert-small-tests
Last synced: 6 months ago
JSON representation
A small test suite for the CompCert C verified compiler
- Host: GitHub
- URL: https://github.com/absint/compcert-small-tests
- Owner: AbsInt
- License: gpl-2.0
- Created: 2024-05-01T16:17:48.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2025-08-27T14:10:23.000Z (7 months ago)
- Last Synced: 2025-08-27T23:28:02.519Z (7 months ago)
- Language: C
- Size: 2.18 MB
- Stars: 4
- Watchers: 5
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Small test suite for CompCert
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 .
## Usage
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
```
## License
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.