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

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