index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
sources
/
0502_loop_infinite2.c
blob: ef899a4512756e2834e339ad7a1f16e825f333e6 (
plain
) (
blame
)
1
2
3
4
5
int
x
=
0
;
while
(
x
<
100
)
{
print
(
x
);
x
=
x
-
1
;
}