def validate_bytes(self, data, old_node, default_info): new_bitmap, _ = self.execute(data, default_info) # handle non-det inputs if new_bitmap is None: return False old_bits = old_node["new_bytes"].copy() return GlobalBitmap.all_new_bits_still_set(old_bits, new_bitmap)
def check_trim_still_valid(old_node, old_res, new_res): # non-det input if not new_res: return False if not new_res.is_lut_applied(): new_res.apply_lut() trim_simple = False if trim_simple: assert False # todo fixme wrt to bitmaps, == doesnt work on bitmap_wrapper return old_res == new_res else: old_bits = old_node["new_bytes"].copy() old_bits.update(old_node["new_bits"]) return GlobalBitmap.all_new_bits_still_set(old_bits, new_res)