Method test_is_fp_value

tests/test_z3_ported.py:4245–4247

(self)

        assert not is_fprm(Int("x"))

    def test_is_fp_value(self):
        assert is_fp_value(FPVal(1.0))
        assert not is_fp_value(FP("x", Float32()))

    def test_is_seq(self):
        assert is_seq(String("s"))