index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
blame
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
sources
/
0001_noinit_2var.c
blob: 2b9d16b21500f2a9bc697a5be8dc9f418ee93d8c (
plain
) (
tree
)
bcde99f
1
2
int
x
;
int
y
;