1 IN: compiler.tree.propagation.recursive.tests
2 USING: tools.test compiler.tree.propagation.recursive
3 math.intervals kernel ;
5 [ T{ interval f { 0 t } { 1/0. t } } ] [
6 T{ interval f { 1 t } { 1 t } }
7 T{ interval f { 0 t } { 0 t } } generalize-counter-interval
10 [ T{ interval f { -1/0. t } { 10 t } } ] [
11 T{ interval f { -1 t } { -1 t } }
12 T{ interval f { 10 t } { 10 t } } generalize-counter-interval
16 T{ interval f { 1 t } { 268435455 t } }
17 T{ interval f { -268435456 t } { 268435455 t } } tuck
18 generalize-counter-interval =