index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
blame
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
sources
/
0317_cmp_eq2.c
blob: 5d3b6774266cde1c0a1b11a8b6b5e0c48a3ef58d (
plain
) (
tree
)
bcde99f
1
2
3
int
x
=
rand
(
15
,
20
);
int
y
=
rand
(
25
,
30
);
if
(
x
==
y
)
print
(
x
,
y
);