0325_if_bool.constants.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0325_if_bool.constants.txt

blob: 714b57b676f4a89f3804b77f3e4e75f64a6a01a3 (plain) (blame)

1
2
3

sources/0325_if_bool.c:3.40-52: [ x in top, y in top ]
sources/0325_if_bool.c:4.7-19: [ x in top, y in top ]
Output: [ x in top, y in top ]