0313_cmp_lt.c « sources « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/sources/0313_cmp_lt.c

blob: 794fdd813e80760048afc6e1ea9cb42dae44daa6 (plain) (blame)

1
2
3

int x = rand(10,20);
int y = rand(5,15);
if (x < y) print(x,y);