kdrag.printers.rust.of_expr

kdrag.printers.rust.of_expr(e: ExprRef) → str

>>> of_expr(smt.IntVal(5))
'5'
>>> of_expr(smt.BitVecVal(255, 8))
'0xff'
>>> of_expr(smt.Or(smt.BoolVal(True), smt.BoolVal(False)))
'(true || false)'
>>> of_expr(smt.And(smt.BoolVal(True), smt.BoolVal(False)))
'(true && false)'
>>> of_expr(smt.Not(smt.BoolVal(True)))
'(!true)'
>>> of_expr(smt.Int("x"))
'x'
>>> of_expr(smt.If(smt.Int("x") > 0, smt.Int("x"), -smt.Int("x")))
'(if (x > 0) { x } else { (-x) })'

Parameters:

e (ExprRef)

Return type:

str