summaryrefslogtreecommitdiff
path: root/tests/results/0402_assert_both.polyhedra.txt
blob: d46828e63a83e4730ca3cbd8153c353dcef6dbc3 (plain) (blame) 
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|]
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 12:33:09 +0000