sources/0403_assert_both2.c:2.0-14: ERROR: assertion failure
Output: [|-x+10>=0; x-1>=0|]