Method test_expression_sort

tests/test_z3_ported.py:1938–1943

Each expression knows its sort.

(self)

        assert isinstance(s, ArraySortRef)

    def test_expression_sort(self):
        """Each expression knows its sort."""
        assert Int("x").sort() == IntSort()
        assert Real("x").sort() == RealSort()
        assert Bool("x").sort() == BoolSort()
        assert BitVec("x", 8).sort() == BitVecSort(8)


# ===================================================================