Method test_ite_bool_condition

tests/test_z3_ported.py:1065–1068

(self)

        assert is_int(result)

    def test_ite_bool_condition(self):
        a = Bool("a")
        result = If(a, IntVal(1), IntVal(0))
        assert isinstance(result._ast, IteNode)

    def test_abs_via_ite(self, kernel):
        """Abs(x) == If(x >= 0, x, -x)."""