kdrag.smt.is_if

kdrag.smt.is_if(x: ExprRef) → bool

Check if an expression is an if-then-else. >>> is_if(z3.If(True, 1, 2)) True

Parameters:

x (ExprRef)

Return type:

bool