0404_assert_rel.intervals.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0404_assert_rel.intervals.txt

blob: cfcc3b2aa26b6b483fe3d5d2e3d7dd5443035018 (plain) (blame)

1 2	`sources/0404_assert_rel.c:4.0-13: ERROR: assertion failure Output: [ x in [1;3], y in [1;3] ]`