def test_invalid_width(self):
with self.assertRaises(AssertionError):
Term(width=-1)
with self.assertRaises(AssertionError):
Term(width=0)
with self.assertRaises(AssertionError):
Term(width="8")
with self.assertRaises(AssertionError):
Term(width=[1, 1])
def test_invalid_args(self):
with self.assertRaises(AssertionError):
bitvectify(1, -1)
with self.assertRaises(AssertionError):
bitvectify(Constant(0, 8), 8 + 1)
with self.assertRaises(AssertionError):
bitvectify(Variable("x", 8), 8 + 1)
with self.assertRaises(AssertionError):
bitvectify(Term(width=8), 8 + 1)
def test_initialization(self):
self.assertEqual(bitvectify(2, 8), Constant(2, 8))
self.assertEqual(bitvectify("x", 8), Variable("x", 8))
self.assertEqual(bitvectify(Term(width=8), 8), Term(width=8))
def test_initialization(self):
t = Term(width=8)
with self.assertRaises(AttributeError):
t.width += 1