Method test_sort_equality

tests/test_z3_ported.py:1917–1922

(self)

    """Test sort construction and checking."""

    def test_sort_equality(self):
        assert IntSort() == IntSort()
        assert BoolSort() == BoolSort()
        assert IntSort() != BoolSort()
        assert BitVecSort(8) == BitVecSort(8)
        assert BitVecSort(8) != BitVecSort(16)

    def test_sort_repr(self):
        assert repr(IntSort()) == "Int"