Method test_boolval

tests/test_z3_ported.py:2134–2136

(self)

        assert v.denominator().as_long() == 113

    def test_boolval(self):
        assert isinstance(BoolVal(True)._ast, BoolLit)
        assert isinstance(BoolVal(False)._ast, BoolLit)

    def test_bitvecval(self):
        v = BitVecVal(0xFF, 8)