0316_cmp_eq.c « sources « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/sources/0316_cmp_eq.c

blob: 3fe7b2e503775edcc1a5d704d3e21f513024e149 (plain) (blame)

1
2
3

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