basis/compiler/tree/propagation/recursive/recursive-tests.factor

   1 IN: compiler.tree.propagation.recursive.tests
   2 USING: tools.test compiler.tree.propagation.recursive
   3 math.intervals kernel ;
   4
   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
   8 ] unit-test
   9
  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
  13 ] unit-test
  14
  15 [ t ] [
  16     T{ interval f { 1 t } { 268435455 t } }
  17     T{ interval f { -268435456 t } { 268435455 t } } tuck
  18     generalize-counter-interval =
  19 ] unit-test