0307_if_var.constants.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0307_if_var.constants.txt

blob: d30fa5d5837ed8d9888ee31eb63e86d3910c835f (plain) (blame)

1
2
3

sources/0307_if_var.c:2.14-24: [ x in top ]
sources/0307_if_var.c:3.7-17: [ x in top ]
Output: [ x in top ]