Searched refs:Z3Int (Results 1 – 1 of 1) sorted by relevance
753 SMTExprRef Z3Int = mkBitvector(Int, Int.getBitWidth()); in mkFloat() local755 Context, Z3_mk_fpa_to_fp_bv(Context.Context, toZ3Expr(*Z3Int).AST, in mkFloat()