0602_rate_limiter.polyhedra.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0602_rate_limiter.polyhedra.txt

blob: b4c3d72bd34ea947e0e351671ae0b7d0f7d0121e (plain) (blame)

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