summaryrefslogblamecommitdiff
path: root/tests/results/0602_rate_limiter.polyhedra.txt
blob: b4c3d72bd34ea947e0e351671ae0b7d0f7d0121e (plain) (tree)
1
2

                                                             
sources/0602_rate_limiter.c:26.0-30: ERROR: assertion failure
Output: [|-Y+128>=0; Y+128>=0|]