(self)
| 2349 | |
| 2350 | class TestVectorConstructors: |
| 2351 | def test_int_vector(self): |
| 2352 | xs = IntVector("x", 5) |
| 2353 | assert len(xs) == 5 |
| 2354 | assert all(is_int(x) for x in xs) |
| 2355 | assert all(isinstance(x, ArithRef) for x in xs) |
| 2356 | |
| 2357 | def test_bool_vector(self): |
| 2358 | bs = BoolVector("b", 3) |