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