index
:
debian-compcert
master
pristine-tar
upstream
Debian packaging for CompCert
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cil
/
test
/
small1
/
hello.c
blob: cbe8ad07a0cfb662a2cbc9d56d5f1f4b9d02e0bc (
plain
)
1
2
3
4
5
6
7
8
#include <stdio.h> int main() { printf("Hello world\n"); return 0; }