kdrag.printers.c.compile_c

kdrag.printers.c.compile_c(c_code, opts=[])

#>>> x,y = smt.BitVecs(“x y”, 32) #>>> compile_c(cstring(“foo”, [x,y], smt.If(smt.UGT(x + x*y + 1, x), x , y)))