0321_cmp_rel.c « sources « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/sources/0321_cmp_rel.c

blob: d9c973c6f22f4b35efaa7c39a661240fce11356b (plain) (blame)

1
2
3

int x = rand(10,20);
int y = x;
if (x >= 15) { print(y); }