index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
blame
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
sources
/
0506_loop_limit.c
blob: 1a0d4f74f64a71ad1d8d1ef8aeea92cca3920b5e (
plain
) (
tree
)
bcde99f
1
2
3
4
5
int
x
=
0
;
while
(
rand
(
0
,
1
)
==
0
)
{
if
(
x
<
10000
)
x
=
x
+
1
;
}
print
(
x
);