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

summary refs log tree commit diff

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

blob: 56f35e93b830d131a2a93f627f805d399c5508f5 (plain) (blame)

1
2

sources/0602_rate_limiter.c:26.0-30: ERROR: assertion failure
Output: [ D in [-oo;+oo], S in [-oo;+oo], X in [-oo;+oo], Y in [-128;128] ]