0508_loop_init.constants.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0508_loop_init.constants.txt

blob: 702e5514e855524f6f83677f11ce357ff0628f39 (plain) (blame)

1 2	`sources/0508_loop_init.c:13.2-14.0: ERROR: assertion failure Output: [ init in top, x in top ]`