kdrag.printers.c.c_of_expr

kdrag.printers.c.c_of_expr(ctx: list[ExprRef], sig: list[FuncDeclRef], e: ExprRef) → str

>>> x,y = smt.BitVecs("x y", 32)
>>> mem = smt.Array("mem", smt.BitVecSort(32), smt.BitVecSort(8))
>>> c_of_expr([x,y,mem], [], mem[x + y])
'(mem[(x + y)])'

Parameters:

• ctx (list[ExprRef])

• sig (list[FuncDeclRef])

• e (ExprRef)

Return type:

str