summaryrefslogblamecommitdiff
path: root/tests/results/0303_if_else_true.polyhedra.txt
blob: 257804bee17e9f2780d15f1971146f1c5350ef59 (plain) (tree) 
bcde99f

1

                 
Output: [|x-5=0|]
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 17:44:38 +0000