summaryrefslogblamecommitdiff
path: root/tests/results/0000_noinit_var.intervals.txt
blob: eda51d22703f75a64bcbd1992b235fab6b59a024 (plain) (tree)
1
                          
Output: [ x in [-oo;+oo] ]