Empty(SeqSort) creates a SeqRef.
(self)
| 2058 | assert isinstance(s, StringSortRef) |
| 2059 | |
| 2060 | def test_empty_seq(self): |
| 2061 | """Empty(SeqSort) creates a SeqRef.""" |
| 2062 | |
| 2063 | s = SeqSort(IntSort()) |
| 2064 | e = Empty(s) |
| 2065 | assert isinstance(e, SeqRef) |
| 2066 | |
| 2067 | def test_unit_seq(self): |
| 2068 | """Unit creates a SeqRef from a non-string element.""" |