path: root/tests/results/0204_assign_rand.polyhedra.txt

sources/0204_assign_rand.c:3.0-9: [|-x+99>=0; x-1>=0|]
Output: [|-x+99>=0; x-1>=0|]