Method test_sort_repr

tests/test_z3_ported.py:1924–1929

(self)

        assert BitVecSort(8) != BitVecSort(16)

    def test_sort_repr(self):
        assert repr(IntSort()) == "Int"
        assert repr(BoolSort()) == "Prop"  # Lean uses Prop for Bool
        assert repr(NatSort()) == "Nat"
        assert repr(RealSort()) == "Real"
        assert repr(StringSort()) == "String"

    def test_bv_sort_repr(self):
        assert "8" in repr(BitVecSort(8))