0200_assign_cst.polyhedra.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0200_assign_cst.polyhedra.txt

blob: 1761595afcce852643a045b64acd0239d0f13868 (plain) (blame)

sources/0200_assign_cst.c:2.0-9: top
sources/0200_assign_cst.c:4.0-9: [|x-12=0|]
sources/0200_assign_cst.c:6.0-9: [|x-15=0|]
Output: [|x-15=0|]