Searched refs:BitReprAsSigned (Results 1 – 1 of 1) sorted by relevance
751 const int64_t BitReprAsSigned = Int.getExtValue(); in mkBitvector() local753 reinterpret_cast<const uint64_t &>(BitReprAsSigned); in mkBitvector()757 ? Z3_mk_int64(Context.Context, BitReprAsSigned, Z3Sort) in mkBitvector()