• Michael Beck's avatar
    Added a new attribute to block nodes: dead · 3b7785f7
    Michael Beck authored
    This attribute can only be set, not reseted and means the block is dead
    (could be replaced my Bad in old semantics).
    the new is_Block_dead() test chescks for the new attribute (and is_Bad() too)
    and should be used whenever a block is check with is_Bad()