0402_assert_both.c « sources « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/sources/0402_assert_both.c

blob: f9afd61a31a59a4b2e1c08723caaa9f7bd5d52f7 (plain) (blame)

1
2
3

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