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

summary refs log tree commit diff

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

blob: 2290fb8332662181ef6a39d57254d0fd84a73a71 (plain) (blame)

1
2
3

sources/0307_if_var.c:2.14-24: [ x in [0;20] ]
sources/0307_if_var.c:3.7-17: [ x in [-10;-1] ]
Output: [ x in [-10;20] ]