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

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