path: root/tests/sources/0400_assert_true.c

int x = 2;
assert(x>=1);