summaryrefslogblamecommitdiff
path: root/tests/results/0402_assert_both.polyhedra.txt
blob: d46828e63a83e4730ca3cbd8153c353dcef6dbc3 (plain) (tree)
1
2
3


                                                           
sources/0402_assert_both.c:2.0-15: ERROR: assertion failure
sources/0402_assert_both.c:3.0-14: ERROR: assertion failure
Output: [|-x+10>=0; x-1>=0|]