0403_assert_both2.c « sources « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/sources/0403_assert_both2.c

blob: 1a35775c1af58eed8edbcf099784c21120c259b0 (plain) (blame)

1
2
3

int x = rand (-5,10);
assert(x > 0);
assert(x >= 0);