0313_cmp_lt.intervals.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0313_cmp_lt.intervals.txt

blob: 3826912e342ef82bb02ead833f0375188a42358a (plain) (blame)

1
2

sources/0313_cmp_lt.c:3.10-22: [ x in [10;14], y in [11;15] ]
Output: [ x in [10;20], y in [5;15] ]