def test_init(self):
self.assertFalse(IntervalLattice().is_bottom())
self.assertTrue(IntervalLattice().is_top())
self.assertFalse(IntervalLattice(0, 1).is_bottom())
self.assertFalse(IntervalLattice(0, 1).is_top())
self.assertEqual(IntervalLattice(upper=2), IntervalLattice(-inf, 2))
self.assertEqual(IntervalLattice(lower=3), IntervalLattice(3, inf))
self.assertTrue(IntervalLattice(1, 0).is_bottom())
self.assertFalse(IntervalLattice(1, 0).is_top())
评论列表
文章目录