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

summary refs log tree commit diff

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

blob: 46882aff0669935c1b2d5b9830c7ea1bcde5f7a9 (plain) (blame)

1
2

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