path: root/tests/results/0403_assert_both2.polyhedra.txt

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