index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
sources
/
0219_assign_rel2.c
blob: b19564d232e70ca06d961226e4e20048341acf31 (
plain
) (
blame
)
1
2
3
int
x
=
rand
(
1
,
5
);
int
y
=
rand
(
2
,
10
);
int
z
=
x
+
2
*
y
;
