(self)
| 1569 | """Tests for Map/AsArray (gap #7).""" |
| 1570 | |
| 1571 | def test_map_basic(self): |
| 1572 | f = Function("f", IntSort(), IntSort()) |
| 1573 | a = Array("a", IntSort(), IntSort()) |
| 1574 | result = Map(f, a) |
| 1575 | assert is_array(result) |
| 1576 | |
| 1577 | def test_map_requires_array(self): |
| 1578 | f = Function("f", IntSort(), IntSort()) |