summaryrefslogblamecommitdiff
path: root/tests/results/0304_if_else_false.polyhedra.txt
blob: 48246051d1b99e04538bb8d1f0feebaa2deff263 (plain) (tree) 
bcde99f

1

                  
Output: [|x-10=0|]
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-22 02:58:01 +0000