index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
sources
/
0404_assert_rel.c
blob: 933d005f0f3564e29f3b994d61210bd56c0214a8 (
plain
) (
blame
)
1
2
3
4
int
x
,
y
;
if
(
rand
(
0
,
1
)
==
0
)
{
x
=
1
;
y
=
1
;
}
else
{
x
=
3
;
y
=
3
;
}
assert
(
x
==
y
);