bv_match_dbv()
Another bitvector utility function needed for turning wasteful bv to a dbv; bv_match_dbv() to check if a static and a dynamic bitvector are "equal"
Another bitvector utility function needed for turning wasteful bv to a dbv; bv_match_dbv() to check if a static and a dynamic bitvector are "equal"