0102_print_3var.intervals.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0102_print_3var.intervals.txt

blob: 1ec6fc8e5fa7c4552b39fcb75529182e1de57432 (plain) (blame)

1
2

sources/0102_print_3var.c:4.0-11: [ z in [99;99], x in [3;3] ]
Output: [ x in [3;3], y in [15;15], z in [99;99] ]